miniblog.

← Back to all posts
Coalton is a remarkable ocaml-style language embedded in Common Lisp: https://github.com/stylewarning/coalton/ It includes a static type checker too!