3 ms·
> it is one standardized language (with formalized and verified semantics, IIRC). Unfortunately the spec defines too little, and there are large deviations bet
by nextaccountic 4y ago
> it is one standardized language (with formalized and verified semantics, IIRC).
Unfortunately the spec defines too little, and there are large deviations between implementations. See
http://mlton.org/StandardMLPortability http://mlton.org/StandardMLPortability
http://mlton.org/UnresolvedBugs http://mlton.org/UnresolvedBugs
http://mlton.org/SMLNJDeviations http://mlton.org/SMLNJDeviations
SML/NJ is the most used implementation afaik. mlton is a whole-program optimizing compiler