6 ms·
What's an industrial strength toolchain that one could use for SML today? Compiler, package manager, ide etc... that integrate well.
by hawk_ 3y ago
What's an industrial strength toolchain that one could use for SML today? Compiler, package manager, ide etc... that integrate well.
- cmrx64 3y agoIsabelle, an “Academial strength” theorem proving environment, is built on PolyML, and has many features for making ML development more pleasant. https://web.cs.wpi.edu/~dd/resources_isabelle/isabelle_programming.urban.pdf https://web.cs.wpi.edu/~dd/resources_isabelle/isabelle_progr... https://isabelle.systems/ https://isabelle.systems/
- shrubble 3y agoPolyML.org, or MLton.org. The guy that worked on MLton's multicore support went on to the Ocaml team and helped them get multicore working.
- jjice 3y ago+1 for MLton. The lead maintainer was my compilers professor in university and he's a dedicated man who _loves_ what he does. It shows in his work and using MLton was a very nice experience, especially compared to SML/NJ (which isn't bad, just a bit more difficult and the straight forward compilation of MLton).
- hawk_ 3y agoIssues like this and a few older ones give me a pause. https://github.com/MLton/mlton/issues/473 https://github.com/MLton/mlton/issues/473 Is there sufficient use of MLTon amd64 backend out there to consider it mature? or Do people prefer the LLVM or C backend instead in general?
- Qw7yz_hnhji_cit 3y agoMatthew Fluet checked in the fix on 2022-02-20.
- azdavis 3y agoFor the IDE use case, I made a language server for SML: https://azdavis.net/posts/millet/ https://azdavis.net/posts/millet/