Poly/ML version 5 - comp.lang.functional

Message from discussion Poly/ML version 5

David Matthews

View profile

More options Jan 8 2007, 11:55 am

Newsgroups: comp.lang.ml, comp.lang.functional

From: David Matthews <d...@polyml.org>

Date: Mon, 8 Jan 2007 16:55:18 +0000 (UTC)

Local: Mon, Jan 8 2007 11:55 am

Subject: Poly/ML version 5

  Reply to author
  |
  Forward
  | Print
  | View thread
  | Show original
  | Report this message
  | Find messages by this author
  

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.

Reply to author Forward