News for hackers. Stuff that matters.

A comment on Millet, a Language Server for SML. Parent comment

Re:Millet, a Language Server for SML by nextaccountic on Thursday August 18, 2022 @05:29PM (#32515134)
> 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/UnresolvedBugs

http://mlton.org/SMLNJDeviations

SML/NJ is the most used implementation afaik. mlton is a whole-program optimizing compiler

[ Parent | on HN ]

There are no comments on this comment yet.