c/trivia · by Ategon@programming.dev · 3y

In lambda calculus, what's the significance of the "Church encoding"?

Answer revealed in ~ 12 hours, Upvote a comment below to vote

6 points · 5 comments · view on lemmy.world

5 Comments

Option 1

Its a way to represent data using functions

::: spoiler 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 :::

Ategon@programming.dev · 1 pts · 3y

Option 4

Its a method to convert lambda expressions into binary code for execution.

Ategon@programming.dev · 1 pts · 3y

Option 3

Its a technique for lambda calculus to handle exception handling.

Ategon@programming.dev · 1 pts · 3y

Option 2

Its a way to optimize lambda expressions for parallel processing