Re:The Lisp curse, now coming to your ecosystem
by xedrac on Thursday November 05, 2026 @11:47PM
(#50388347)
Thanks for the detailed explanation. I'm very familiar with Haskell, so this all feels very natural. How good is the type inference in practice? Is it a good as Haskell? And are there any places where you'd rather use vanilla common lisp?
[ Parent
| on HN ]
Re:The Lisp curse, now coming to your ecosystem
by reikonomusha on Friday November 06, 2026 @12:52AM
(#50388688)
Inference uses roughly the same algorithm and type system as Haskell (depending on what flavor of it... GHC has tons of extensions). It supports everything in the standard Haskell type system, as well as a few common extensions of Haskell, including multiparameter type classes, functional dependencies, etc.