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
I think there was something like a package manager.
Tbh, I wish we lived in an alternative reality where SML won over JS and we had it running on every major browser.
Re:Millet, a Language Server for SML
by Munksgaard on Friday August 19, 2022 @02:45AM
(#32518129)
SML can run in every major browser: http://www.smlserver.org/smltojs/
Interestingly, SMLtoJs predates Elm and PureScript, but never really caught on.
Re:Millet, a Language Server for SML
by zelphirkalt on Friday August 19, 2022 @12:50PM
(#32523388)
A great achievement, but I think that's still running JS in the browser, not SML. Compiling to JS, to be able to run in the browser is not the same as the browsers natively supporting SML code.
Looks cool. Do you know if this ever escaped the lab and got used for anything interesting by people other than its creators?
Re:Millet, a Language Server for SML
by shwestrick on Thursday August 18, 2022 @10:22PM
(#32517059)
Does that mean that there is one repository with modules (like PyPI or Maven Central) which all the implementations can use? Is there even a single build tool that can work with all (or at least some) of them (like Maven, etc.)?