7 ms·
Lisp actually kind of sucks and the community is insufferable but a lot of good things in computer science are unachievable without lambda calculus. Compilers,
by mbac32768 4mo ago
Lisp actually kind of sucks and the community is insufferable but a lot of good things in computer science are unachievable without lambda calculus. Compilers, type inferencing, Rust's borrow checker, some parts of React, async/await desugaring all flow from monk-like practice of the lambda calculus.
You could possibly invent these things as a Turing machinist but it'd be by stumbling backwards into them and likely doing a shitty job.