rossberg/1ml
View on GitHub ↗ ★ 303 OCaml
1ML prototype interpreter
5 mentions on Hacker News by 4 people: 0 stories, 5 comments · first 2020-02-05 · latest 2026-07-07
20082026
-
…are stratified into different layers https://people.mpi-sws.org/~rossberg/1ml/1ml-extended.pdf https://github.com/rossberg/1ml
comment by sshine · 2026-07-07 · in Poly/ML – A Standard ML Implementation -
…1ML [2] by Andreas Rossberg was built in OCaml. [1]: https://opensource.janestreet.com/base/ [2]: https://github.com/rossberg/1ml
comment by sshine · 2023-02-15 · in Comparing Objective Caml and Standard ML -
Not much I don't think. This has a few examples: https://github.com/rossberg/1ml There isn't special module syntax. Modules are more-or-less just structs, and the structs can contain types.
comment by cultus · 2020-11-13 · in Exotic Programming Ideas: Module Systems -
…Rossberg has since moved on, and his latest attempt at a "better ML design" should be 1ML[0]. [0] https://github.com/rossberg/1ml
comment by riffraff · 2020-10-26 · in Standard ML in 2020 -
…that of functions and values ( https://people.mpi-sws.org/~rossberg/papers/Rossberg%20-%201... , https://github.com/rossberg/1ml ) The module syntax is certainly clumsy in comparison to the rest of the language, and it's not just the…
comment by cannam · 2020-02-05 · in Unix System Programming with Standard ML (2001) [pdf]