Lambda calculus, question Show more

Is there a reason why Scott encoding is very rarely mentionned compared to Church encoding? I may have a false impression, but I only found out about Scott encoding while reading something about the Reduceron (https://www.cs.york.ac.uk/fp/reduceron/) and I've never seen it in the courses about lambda calculus I followed.

Considering how everything is so much simpler using this encoding, I find that a bit weird :/ Well unless teachers like to torture students with the pred function but…

Follow

Lambda calculus, question Show more

Wikipedia page on Scott encoding : https://en.wikipedia.org/wiki/Mogensen%E2%80%93Scott_encoding

and on Church encoding : https://en.wikipedia.org/wiki/Church_encoding

functional.cafe is an instance for people interested in functional programming and languages.