1. 15

  2. 3

    /r/sml is the only pan-implementation community for Standard ML I know of other than StackOverflow which doesn’t exactly count. (I’m not really on IRC but I don’t think SML IRC is super active anyway). As a mod I’ve wanted to put together a list so I crowd-sourced these recommendations last week and put up a sticky post on this sub to help folks who want to learn Standard ML.

    If you’re interested in Standard ML, feel free to join the sub. If you’re in the know about Standard ML and can add corrections or suggestions please do!

    1. 4

      I don’t know enough about Reddit to know if it’s something controllable by a subreddit’s moderators, but the sub is not viewable on mobile without an account or installing the Reddit app. Obviously there are workarounds (visiting np. or old.reddit.com), but if there’s a flag to be set, it would be great.

      1. 2

        I don’t think that’s under our control. But I am not an expert mod…

    2. 2

      Still super jealous of SML’s module system! Hoping that more programming language designers learn about them, and from later extensions like MixML, 1ML, and Modular Implicits. Would be great to see them pop up again in future languages.

      1. 2

        I have mostly warm feelings towards SML, and I absolutely admire its formally verified specification. However, that specification also made SML itself impractical to extend, and it hasn’t really changed, while OCaml keeps incorporating new ideas into the language.

        I also think OCaml’s idea to determine infix operator precedence by its first character is better all-around in practice because it both prevents opening modules from messing up with precedence, and it also creates a convention that experienced users can follow without looking in third-party library docs every time.

        1. 2

          SML/NJ is probably the most adventurous mainstream implementation, for example adding support for nested functors that isn’t part of the spec. MLton has taken ideas from SML/NJ too over time outside of the spec. But Poly/ML has been pretty conservative.

          SML# is extremely practical though with an embedded SQL query language, a builtin JSON library, etc.

          It just historically wasn’t well marketed to an English audience. Actually in digging these examples up I’m amazed at how much they’ve made accessible now in English. I need to try SML# out…

      2. 1

        An, Standard ML. Ullman’s ‘Elements of ML Programming’ remains one of my favorite programming textbooks in any language. Sad to not see it on the list.