Cubiml

A simple ML-like programming language with subtyping and full type inference.

Source | Sandbox

Built and discussed by "Considerations on Codecrafting". Lots of interesting material to read. Looks very educational.

Tags: language   functional   ml  

Last modified 03 April 2026