Comment by 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
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
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.