5 ms·

I'm in this course I've been interested in the ML family of languages ever since learning SML which is without a doubt my favorite language ever.

lemming 11y ago
I really wish there were an implementation of SML that got some traction. It's a lovely language, but has very few libraries for actually getting anything done.
- virtualwhys 11y ago
  Maybe Rossberg's 1ML will become a reality. Barring that, "Successor" ML is cleaning up some deficiencies in the original standard, and ML implementations are starting to integrate the changes. But yeah, a strict ML with the pristine syntax of SML; the modular implicits coming to OCaml; the innovative ideas in 1ML -- now that would be a great language. Sigh, back to Scala...
- eatonphil 11y ago
  I do not think it is too late for SML necessarily. MLton (the full-program-optimizing compiler) is very competitive with the (one) OCaml implementation. As someone who did a lot to market certain OCaml libraries, I have seen similar interest in some of the "modern" SML libraries I have played around with. Not a ton of work has gone into both of these, but you may be interested to look at two projects MonoML[0] and SSMLS[1]. These are some /very/ minimal projects I've worked on in SML in the past few months to gauge how well SML might work as a modern, web-friendly, higher-level language. The results are certainly not completely disappointing. Edit: Oh also! HamletML[2] (yes, written by the 1ML guy) is a very interesting ML implementation that would probably be a great way for work on modern language features. Not that I know what I'm talking about, but it could also provide the framework for an even more powerful backend/optimizing compiler. [0] https://github.com/eatonphil/monoml https://github.com/eatonphil/monoml [1] https://github.com/eatonphil/ssmls https://github.com/eatonphil/ssmls [2] https://www.mpi-sws.org/~rossberg/hamlet/ https://www.mpi-sws.org/~rossberg/hamlet/
  - seliopou 11y ago
    Unfortunately, SML has no industrial users. At least, that I've heard of. It's a language that's used mostly in teaching and academic research. First ML I used was SML/NJ in my intro CS class, and haven't seen it since. Whereas OCaml has a many industrial users and is widely deployed. My favorite example is of course management layer for the Xen hypervisor[0][1], but there are more as well[2]. Adam Chlipala has a writeup[3] on comparing SML and OCaml that may be of interest to the discussion. [0]: https://github.com/xapi-project https://github.com/xapi-project [1]: http://anil.recoil.org/papers/2010-icfp-xen.pdf http://anil.recoil.org/papers/2010-icfp-xen.pdf [2]: http://ocaml.org/learn/companies.html http://ocaml.org/learn/companies.html [3]: http://adam.chlipala.net/mlcomp/ http://adam.chlipala.net/mlcomp/
    - BoysenberryPi 11y ago
      What do you think about Manticore? I'm curious.
- BoysenberryPi 11y ago
  There's Manticore being developed by University of Chicago.

lemming 11y ago

I really wish there were an implementation of SML that got some traction. It's a lovely language, but has very few libraries for actually getting anything done.

virtualwhys 11y ago
Maybe Rossberg's 1ML will become a reality. Barring that, "Successor" ML is cleaning up some deficiencies in the original standard, and ML implementations are starting to integrate the changes. But yeah, a strict ML with the pristine syntax of SML; the modular implicits coming to OCaml; the innovative ideas in 1ML -- now that would be a great language. Sigh, back to Scala...
eatonphil 11y ago
I do not think it is too late for SML necessarily. MLton (the full-program-optimizing compiler) is very competitive with the (one) OCaml implementation. As someone who did a lot to market certain OCaml libraries, I have seen similar interest in some of the "modern" SML libraries I have played around with. Not a ton of work has gone into both of these, but you may be interested to look at two projects MonoML[0] and SSMLS[1]. These are some /very/ minimal projects I've worked on in SML in the past few months to gauge how well SML might work as a modern, web-friendly, higher-level language. The results are certainly not completely disappointing. Edit: Oh also! HamletML[2] (yes, written by the 1ML guy) is a very interesting ML implementation that would probably be a great way for work on modern language features. Not that I know what I'm talking about, but it could also provide the framework for an even more powerful backend/optimizing compiler. [0] https://github.com/eatonphil/monoml https://github.com/eatonphil/monoml [1] https://github.com/eatonphil/ssmls https://github.com/eatonphil/ssmls [2] https://www.mpi-sws.org/~rossberg/hamlet/ https://www.mpi-sws.org/~rossberg/hamlet/
- seliopou 11y ago
  Unfortunately, SML has no industrial users. At least, that I've heard of. It's a language that's used mostly in teaching and academic research. First ML I used was SML/NJ in my intro CS class, and haven't seen it since. Whereas OCaml has a many industrial users and is widely deployed. My favorite example is of course management layer for the Xen hypervisor[0][1], but there are more as well[2]. Adam Chlipala has a writeup[3] on comparing SML and OCaml that may be of interest to the discussion. [0]: https://github.com/xapi-project https://github.com/xapi-project [1]: http://anil.recoil.org/papers/2010-icfp-xen.pdf http://anil.recoil.org/papers/2010-icfp-xen.pdf [2]: http://ocaml.org/learn/companies.html http://ocaml.org/learn/companies.html [3]: http://adam.chlipala.net/mlcomp/ http://adam.chlipala.net/mlcomp/
  - BoysenberryPi 11y ago
    What do you think about Manticore? I'm curious.
BoysenberryPi 11y ago
There's Manticore being developed by University of Chicago.