Poly/ML: Open-Source Standard ML Compiler and Runtime
Poly/ML is an open-source implementation of the Standard ML language. The project offers both a compiler and an interactive runtime
Poly/ML is an open-source implementation of the Standard ML language.
The project offers both a compiler and an interactive runtime
environment. It is maintained as a public repository on GitHub. The
code supports the full Standard ML language specification. Users can
build the system from source using provided scripts. The repository
includes documentation and test suites. Poly/ML is used in research
and education for functional programming. Contributions are welcomed
from the community via pull requests.