3 ms·
Are there any implementations of good type systems on top of lisp (let's say approaching Haskell's in capability)?
by wyager 5y ago
Are there any implementations of good type systems on top of lisp (let's say approaching Haskell's in capability)?
- vindarel 5y agoThere is! Coalton: https://github.com/coalton-lang/coalton https://github.com/coalton-lang/coalton > Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp
- rajandatta 5y agoTyped Racket is getting steady development and focus but more closely resembles Scheme.