miniblog.
← Back to all posts
Wilfred Hughes
Oct 25, 2019 at 10:23
Coalton is a remarkable ocaml-style language embedded in Common Lisp:
https://github.com/stylewarning/coalton/
It includes a static type checker too!
GitHub - stylewarning/deprecated-coalton-prototype: Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp. - stylewarning/deprecated-coalton-prototype