4 ms·
What is the most Lisp-like type safe language?
by 0xDEF 3y ago
What is the most Lisp-like type safe language?
- mordae 3y agoTyped Racket probably.
- medo-bear 3y agoCoalton which runs on SBCL
- trealira 3y agoShen has type checking that you can turn on and off. When it's on, it's very much like an ML such as Standard ML. https://shenlanguage.org/ https://shenlanguage.org/ This probably isn't the "most Lisp like," though, even though it does have s-expressions and cons cells. The other person who suggested Coalton is probably right, since AFAIK it's just Common Lisp with static types.
- noaoh 3y agoCarp is a statically-typed Lisp: https://github.com/carp-lang/Carp https://github.com/carp-lang/Carp