the real challenge of understanding lamba calculus is realizing its simplicity i... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		priprimer on Nov 4, 2024 \| parent \| context \| favorite \| on: Alonzo Church: Architect of computer intelligence 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 on Nov 5, 2024 [–]

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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact