[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)