SMLFamily/Successor-ML
View on GitHub ↗ ★ 210 TeX
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2017-01-01 · latest 2022-01-12
20082026
-
…is still ahead of many languages that came well after it in both features and usability. [1] https://github.com/SMLFamily/Successor-ML [2] https://people.mpi-sws.org/~rossberg/1ml/
comment by saityi · 2022-01-12 · in Ask HN: New Programming Language? -
That's effectively not true[1]. [1]: https://github.com/SMLFamily/Successor-ML
comment by bctnry · 2020-08-03 · in OCaml for the Skeptical: OCaml in a Nutshell (2006) -
…say that you're not spending design capital on it at the moment due to more pressing issues! [0]: https://github.com/SMLFamily/Successor-ML/issues/18 [1]: https://arxiv.org/abs/1512.01895 [2]: https://www.researchgate.net/profile/Dominique_…
comment by bjz_ · 2018-08-21 · in Small Assets without the Headache in Elm 0.19 -
…SML is an exceedingly clean design. I'm using it myself for my own language design efforts. [0]: https://github.com/SMLFamily/Successor-ML/issues
comment by Athas · 2017-01-01 · in CakeML – A Verified Implementation of ML