We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.
Talk:Probabilistic combinatory logic
Jump to navigation
Jump to search
Evaluation order
It's unclear in which moment Oxy is evaluated. Consider Sxy(Ozw) = x(Ozw)(y(Ozw)). Should x and y be applied to the same value, or should their arguments be evaluated independently? Strictly speaking, O is not a combinator at all because it violates Church-Rosser theorem. --Blashyrkh (talk) 18:48, 15 July 2026 (UTC)