Poly/ML version 5

[David Matthews]

The new version of the Poly/ML implementation of Standard ML is now
available from the Poly/ML sourceforge site. Follow the download links
from http://www.polyml.org .

The latest version has a substantially rewritten run-time system
designed to make it much easier to port and to maintain. Reports from
beta testers suggest that it is significantly faster than the previous
versions.

In place of the persistent storage system this version allows users to
create stand-alone binaries. The run-time system is in a shared
library. A code generator for the AMD64 has been added to complement
the versions for the x86-32 (Windows and Unix), PowerPC and Sparc. This
version also runs on Intel Macs.

Poly/ML version 5 is currently available only as source code but it is
hoped to have pre-built binaries in due course.

The aim of Poly/ML is to provide a stable, efficient platform for large
ML programs. It is the recommended platform for the Isabelle and
ProofPower systems.

[Jon Harrop]

David Matthews wrote:
> In place of the persistent storage system this version allows users to
> create stand-alone binaries. The run-time system is in a shared
> library. A code generator for the AMD64 has been added to complement
> the versions for the x86-32 (Windows and Unix), PowerPC and Sparc. This
> version also runs on Intel Macs.

Does that make Poly/ML the only free SML compiler that can target AMD64?

--
Dr Jon D Harrop, Flying Frog Consultancy
Objective CAML for Scientists
http://www.ffconsultancy.com/products/ocaml_for_scientists/index.html?usenet