3 ms·
Great read. It's too bad modules are pretty much an afterthought in most langs. I really like research language 1ML's approach to modules[0]. This allows monom
by cultus 6y ago
Great read. It's too bad modules are pretty much an afterthought in most langs.
I really like research language 1ML's approach to modules[0]. This allows monomorphic types to be treated like values, avoiding all of OCaml's module syntax (which can be a bit complex and verbose).
https://people.mpi-sws.org/~rossberg/1ml/1ml-extended.pdf https://people.mpi-sws.org/~rossberg/1ml/1ml-extended.pdf
- eterps 6y agoIs there a 'readable' code sample of how that would work?
- cultus 6y agoNot much I don't think. This has a few examples: https://github.com/rossberg/1ml https://github.com/rossberg/1ml There isn't special module syntax. Modules are more-or-less just structs, and the structs can contain types.
- eterps 6y agoI just found this post: https://shonfeder.github.io/themata/programming/notes-on-1ml.html https://shonfeder.github.io/themata/programming/notes-on-1ml...