« earlier | later » Page 1 of 1
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
« earlier | later » Page 1 of 1
- 1ml | |
1 | + functional |
1 | + language-design |
1 | + ml |
1 | + modules |
1 | + type-systems |
tasty by Adam Sampson.