Shen 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://shenlanguag

Shen 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.