[HN Gopher] Standard ML in 2020 ___________________________________________________________________ Standard ML in 2020 Author : eatonphil Score : 41 points Date : 2020-10-25 22:13 UTC (46 minutes ago) (HTM) web link (notes.eatonphil.com) (TXT) w3m dump (notes.eatonphil.com) | Joker_vD wrote: | Wait, what happened to SML/NJ? AFAIK it's still in development. | Also, it has an absolutely "lovely" versioning scheme. | eatonphil wrote: | Not totally sure, but it's definitely not as active as the | first three I mentioned. The last commit is from over a year | ago [0]. Although the SML/NJ website shows releases presumably | from 2020. | | [0] https://github.com/sml-nj/smlnj | doyouevenchop wrote: | There is a lot of active development going on in their SVN | repository | | http://smlnj- | gforge.cs.uchicago.edu/scm/viewvc.php/?root=sml... | gautamcgoel wrote: | I used Standard ML for a research project in college and really | fell in love with it. Yes, at times it feels a bit old, but | nothing felt _bad_. One of the creators of Standard ML (Harper, I | think) wrote a really beautiful textbook, Introduction to | Programming in Standard ML, which I think is the best textbook on | programing I 've ever come across. I'm glad that Standard ML is | still kicking. | doyouevenchop wrote: | I started learning SML earlier this year - it's quite a nice | language and it's a shame that the ecosystem isn't better. | | For fun and educational purposes, I began working on a Standard | ML compiler [1] and VSCode extension in Rust as well - with the | end goal being a psuedo-clone of MLton. Currently taking a short | break from it to work on some other stuff, but I'm mostly done | with monomorphization | | [1] https://github.com/SomewhatML/sml-compiler | BoysenberryPi wrote: | I first came across Standard ML in Dan Grossman's Programming | Language course on Coursera[1]. After previously trying Haskell | and Scala, this is where the benefits of functional programming | and static typing really clicked for me. Really wish the language | had caught on outside of academia so I had an excuse to use it | more. In addition to the implementations mentioned in the blog | post, The University of Chicago created Manticore[2] and Tohoku | University in Japan created SML#[3] | | [1] https://www.coursera.org/learn/programming-languages | | [2] http://manticore.cs.uchicago.edu/ | | [3] https://www.pllab.riec.tohoku.ac.jp/smlsharp/ ___________________________________________________________________ (page generated 2020-10-25 23:00 UTC)