Re:Land of Lisp (2010)
by wyager on Saturday January 08, 2022 @06:53PM
(#29858002)
Are there any implementations of good type systems on top of lisp (let's say approaching Haskell's in capability)?
[ Parent
| on HN ]
There is! Coalton: https://github.com/coalton-lang/coalton
> Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp
Re:Land of Lisp (2010)
by rajandatta on Saturday January 08, 2022 @07:13PM
(#29858201)
Typed Racket is getting steady development and focus but more closely resembles Scheme.