Poly/ML – A Standard ML Implementation
github.com
July 6, 2026
1 min read
🔥🔥🔥🔥🔥
45/100
Summary
Poly/ML is a Standard ML implementation that has been fully compatible with the ML97 standard since version 4.0. It features a fast compiler, avoids incompatible extensions, and includes various library extensions, particularly a thread library.
Key Takeaways
- Poly/ML is a Standard ML implementation that has been fully compatible with the ML97 standard since version 4.0.
- Poly/ML features a fast compiler, a symbolic debugger, and a thread library that allows programs to utilize multiple cores.
- It supports native architectures including i386 (32- and 64-bit) and ARM (64-bit only), and can run on other architectures via a byte-code interpreter.
- Poly/ML includes a foreign function interface for loading static and dynamic libraries, exposing their functions as Poly/ML functions.