Adam Sampson's 1ml bookmarkshttps://bookmarks.offog.org/ats/1mlAdam Sampson2017-09-12T19:17:37Z1ML - core and modules unitedhttps://bookmarks.offog.org/edit?url=https%3A%2F%2Fpeople.mpi-sws.org%2F%7Erossberg%2F1ml%2F2017-09-12T19:17:37Z"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...