5 ms·

Just checked the code examples in a current Standard ML compiler, and they work without modification and behave as described. That's why you should choose Stand

by cannam 6y ago

Just checked the code examples in a current Standard ML compiler, and they work without modification and behave as described. That's why you should choose Standard ML for your next project. Great example though. When looking at Idris I had the impression there was a logical end point of having the type system so descriptive that, given the type of a function, there was only one possible implementation.

cmrdporcupine 6y ago
About twenty years ago I endeavored to learn both Standard ML and OCaml, and I found I preferred SML. I'm not clear how OCaml has gotten more mindshare, but I really liked SML/NJ. I suppose back then we were still in the throes of "object-oriented is best" and the "object" in OCaml had some pull
- agumonkey 6y ago
  I guess so. Both mainstream market mindshare and research freshness. The Ocaml Object System was quite liked at the time for the solid backing.
- hwj 6y ago
  I too prefer SML's syntax, but OCaml seems to have better tools.
msla 6y ago
It's also really easy to translate them into Haskell.
vslira 6y ago
People compare type checkers with guard rails. In this regard, programming in SML is more like taking the subway :)
iammiles 6y ago
I was introduced to SML via Dan Grossman's Programming Languages course [0] and it's quickly become my favorite programming language to work through problems and brain-teasers. Shame there isn't more non-academic support for it. [0] - https://www.coursera.org/learn/programming-languages https://www.coursera.org/learn/programming-languages
- bmitc 6y ago
  That is such a good course. I really enjoyed it and need to go back and finish the third part with Ruby. If you like SML, check out F#. I did part one of that course in SML, F#, Typed Racket, and Scala. F# was by far the cleanest and most concise for each homework assignment. (Most code was written in SML first and then ported to the other languages.) F# has become my side-project language.

by cannam 6y ago

cmrdporcupine 6y ago

About twenty years ago I endeavored to learn both Standard ML and OCaml, and I found I preferred SML. I'm not clear how OCaml has gotten more mindshare, but I really liked SML/NJ. I suppose back then we were still in the throes of "object-oriented is best" and the "object" in OCaml had some pull

agumonkey 6y ago
I guess so. Both mainstream market mindshare and research freshness. The Ocaml Object System was quite liked at the time for the solid backing.
hwj 6y ago
I too prefer SML's syntax, but OCaml seems to have better tools.

msla 6y ago

It's also really easy to translate them into Haskell.

vslira 6y ago

People compare type checkers with guard rails. In this regard, programming in SML is more like taking the subway :)

iammiles 6y ago

I was introduced to SML via Dan Grossman's Programming Languages course [0] and it's quickly become my favorite programming language to work through problems and brain-teasers. Shame there isn't more non-academic support for it. [0] - https://www.coursera.org/learn/programming-languages https://www.coursera.org/learn/programming-languages

bmitc 6y ago
That is such a good course. I really enjoyed it and need to go back and finish the third part with Ruby. If you like SML, check out F#. I did part one of that course in SML, F#, Typed Racket, and Scala. F# was by far the cleanest and most concise for each homework assignment. (Most code was written in SML first and then ported to the other languages.) F# has become my side-project language.