News for hackers. Stuff that matters.

A comment on Running Lisp in Production (2020). Parent comment

Re:Running Lisp in Production (2020) by Koshkin on Wednesday February 02, 2022 @09:35AM (#30178086)
You are talking about Haskell.
[ Parent | on HN ]
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.
[ Parent | on HN ]
Re:Running Lisp in Production (2020) by Koshkin on Wednesday February 02, 2022 @04:03PM (#30184033)
Common Lisp, at least, is also (dynamically) typed.
[ Parent | on HN ]
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.

[ Parent | on HN ]