7 ms·
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 understan
by priprimer 2y ago
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 2y agoI 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.