Hacker News Reader

Isabelle, 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_progr...

https://isabelle.systems/

For the IDE use case, I made a language server for SML: https://azdavis.net/posts/millet/

PolyML.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.

+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).

Issues like this and a few older ones give me a pause. 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?

Matthew Fluet checked in the fix on 2022-02-20.