Successor-ML

A version of the 1997 SML definition with corrections and some proposed Successor ML features added. (by SMLFamily)

Successor-ML Alternatives

Similar projects and alternatives to Successor-ML

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better Successor-ML alternative or higher similarity.

Successor-ML reviews and mentions

Posts with mentions or reviews of Successor-ML. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-12-26.
  • old languages compilers
    12 projects | /r/ProgrammingLanguages | 26 Dec 2022
    Successor ML
  • Ask HN: New Programming Language?
    7 projects | news.ycombinator.com | 12 Jan 2022
    SuccessorML[1], 1ML[2], etc. are pretty close to this in spirit. I've been trying to keep up with the publications around the future of ML, but academic research moves kinda slowly. I'm hopeful we'll see a new definition of Standard ML this decade. I'd tend to agree SML is a great choice -- SML-1997 is still ahead of many languages that came well after it in both features and usability.

    [1] https://github.com/SMLFamily/Successor-ML

    [2] https://people.mpi-sws.org/~rossberg/1ml/

Stats

Basic Successor-ML repo stats
2
189
0.0
almost 2 years ago

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com