3 ms·
Lambda calculus isn't practical for real-world programming. You have to add various types to make it practical. By then you have a LISP.
by cryptonector 2y ago
Lambda calculus isn't practical for real-world programming. You have to add various types to make it practical. By then you have a LISP.
- kazinator 2y agoYou don't have a Lisp until you add to lambda calculus a representation of its syntax using nested lists of symbols, with APIs to manipulate the lists, a way to intercept and transform the lists that are being processed as code and an eval function.
- tromp 2y agoBy then you have a Haskell, which unlike LISP is just syntactic sugar on a typed lambda calculus.
- cryptonector 2y agoFair.