News for hackers. Stuff that matters.
Re:Running Lisp in Production (2020) by reikonomusha on Wednesday February 02, 2022 @01:18PM (#30181576)
The lambda calculus "in its purest form" is not typed.
Re:Running Lisp in Production (2020) by Koshkin on Wednesday February 02, 2022 @04:03PM (#30184033)
Common Lisp, at least, is also (dynamically) typed.
Re:Running Lisp in Production (2020) by reikonomusha on Thursday February 03, 2022 @03:14AM (#30189973)
Common 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.