3 ms·
Its programming in its purest form, lambda calculus
by frockington1 5y ago
Its programming in its purest form, lambda calculus
- Koshkin 5y agoYou are talking about Haskell.
- reikonomusha 5y agoThe lambda calculus "in its purest form" is not typed.
- Koshkin 5y agoCommon Lisp, at least, is also (dynamically) typed.
- reikonomusha 5y agoCommon Lisp, however, has a "top type" T which is a supertype of all types. So one can manipulate lambdas themselves as if they're untyped. Of course, I personally don't think programming in Lisp has much to do with wielding lambda calculus in any superlatively direct sense.