News for hackers. Stuff that matters.

A comment on Lisp and Haskell (2015). Parent comment

Re:Lisp and Haskell (2015) by heavenlyblue on Thursday October 08, 2020 @03:42AM (#24716848)
You don’t need Haskell to do this however.
[ Parent | on HN ]
Re:Lisp and Haskell (2015) by elbear on Thursday October 08, 2020 @05:43AM (#24717486)
You need a type system that is expressive enough to allow you to encode logic in the types. Of course, Haskell is not only language with such a type system: PureScript, F#, Rust, OCaml, Scala have similar features, although not all.
[ Parent | on HN ]