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