8 ms·
SML comes with many implementations/compilers, but it is one standardized language (with formalized and verified semantics, IIRC). Does that mean that there is
by sideeffffect 4y ago
SML comes with many implementations/compilers, but it is one standardized language (with formalized and verified semantics, IIRC).
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.)?
- lpedrosa 4y agoI 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.
- azdavis 4y agoThere's https://github.com/standardml/smackage https://github.com/standardml/smackage
- shwestrick 4y agoand https://github.com/diku-dk/smlpkg https://github.com/diku-dk/smlpkg !
- Munksgaard 4y agoSML can run in every major browser: http://www.smlserver.org/smltojs/ http://www.smlserver.org/smltojs/ Interestingly, SMLtoJs predates Elm and PureScript, but never really caught on.
- frou_dh 4y agoLooks cool. Do you know if this ever escaped the lab and got used for anything interesting by people other than its creators?
- zelphirkalt 4y agoA 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.
- 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