Poly/ML Offers Standard ML Implementation with Enhanced Features

Overview of Poly/ML

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.

Key Features

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.

Concurrency and Performance

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.

Architecture Support

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.

Documentation and Community Support

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.