[priprimer]

the real challenge of understanding lamba calculus is realizing its simplicity

it is a sacred idea by the fact that executing it does not really help understand the fact that it is equivalent to any and all computation

[mrkeen]

I don't know. You don't have to do much bootstrapping to get from lambda calculus primitives all the way up to if-elses, pattern matching, higher-order functions, etc.