Poly/ML, a Standard ML implementation, provides unique features like a foreign function interface and a thread library. This makes it suitable for large projects and enhances its performance across various architectures.
Poly/ML is a Standard ML implementation that originated from an experimental language called Poly. It has been fully compliant with the ML97 standard since its version 4.0, which makes it a reliable option for developers working with Standard ML.
Poly/ML features a fast compiler and is the preferred implementation for sizable projects, such as Isabelle and HOL. It includes a foreign function interface allowing both static and dynamic libraries to be utilized within Poly/ML programs. This interface exposes external functions for use in Standard ML.
The implementation includes a thread library that adapts Posix threads for Standard ML, enabling support for multi-core programming. Additionally, the garbage collector in Poly/ML is designed to be parallelized, improving performance during concurrent executions.
Poly/ML natively supports both i386 (32-bit and 64-bit) and ARM (64-bit only) architectures. It can also function on other architectures via a byte-code interpreter, increasing its versatility across different systems.
Comprehensive documentation for the Poly/ML Basis library is available, detailing global types, structures, signatures, and functors. A mailing list is maintained for developers to seek support and ask questions about Poly/ML.
✨ This summary was generated by AI from the outlets' reporting listed below. It is not independently verified and may contain errors — check the original sources. How BrevFeed works →
Poly/ML, a Standard ML implementation, provides unique features like a foreign function interface and a thread library. This makes it suitable for large projects and enhances its performance across various architectures.