In lambda calculus, what's the significance of the "Church encoding"?
In lambda calculus, what's the significance of the "Church encoding"?
Answer revealed in ~ 12 hours, Upvote a comment below to vote
5 comments
Option 1
Its a way to represent data using functions
Click to show answer
The answer was its a way to represent data using functions. This one seems like it was a bit easier with 5/6 people getting it right
Option 4
Its a method to convert lambda expressions into binary code for execution.
Option 3
Its a technique for lambda calculus to handle exception handling.
Option 2
Its a way to optimize lambda expressions for parallel processing