1ML - core and modules united edit / delete

"1ML is a reboot of ML starting from first-class modules, and unifies core and module layer into one small and consistent language." This cleans up some of the things I don't like about ML-family languages, and in the process gets some of the benefits of dependent types without the toolchain overhead. Interesting...

to 1ml functional language-design ml modules type-systems ... on 12 September 2017

SMLFamily/Successor-ML: A version of the 1997 SML definition with corrections and some proposed Successor ML features added. edit / delete

A tasteful update of 90s-era Standard ML. (Wish they'd fix the horrible equality types hack, though!)

to functional language-design ml standard-ml ... on 18 October 2016

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom