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

The Mod Archive - Modarchive 3.2beta - A distinctive collection of music edit / delete

All the mods one could possibly want. Includes a torrent containing the whole lot.

to modules music ... on 11 January 2009

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

Tags related to modules

- modules
1 + 1ml
1 + functional
1 + language-design
1 + ml
1 + music
1 + type-systems