PLNews: Programming Language News

PML has been announced. It is "an ML like programming language, which will be extended with a prover soon."

SML# 0.20 has been released. It is an extension to Standard ML, adding support for improved interoperability with C, record polymorphism, and rank-1 polymorphism.

HaMLet 1.3 and HaMLet-S 1.3/S4 have been released. HaMLet is a Standard ML '97 implementation. HaMLet-S includes proposals for Successor ML.

HaMLet 1.3 includes: improved support for building with most major SML systems, support for outputting the parse tree in S-expression form, and other changes.

HaMLet-S 1.3/S4 includes: support for views, support for higher-order and first-class modules, a complete formal specification of all extensions, extensible records, more expressive pattern matching, plus other changes and bug fixes.

The 2007 ACM SIGPLAN Workshop on ML has put out a call for papers. The workshop "aims to bring together researchers, developers and users of ML to hear about and discuss the latest work on the design, semantics, implementation and application of ML and ML-like languages."

The submission deadline is June 15, 2007. The workshop will be held on October 5, 2007, in Freiburg, Germany.

SML/NJ 110.62 has been released. SML/NJ is a portable, open-source Standard ML '97 implementation.

This release includes: installation process improvements, the addition of a UTF8 structure and signature to the library, improvements to the language processing tools, plus other changes and fixes.

Poly/ML Version 5 has been released. Poly/ML is an open source Standard ML implementation.

This release includes: support for producing stand-alone binaries, AMD64 support, support for Intel Mac OS X and Cygwin, the use of the GNU tools for building, plus other changes and fixes.

SML/NJ 110.60 has been released. SML/NJ is a portable, open-source Standard ML '97 implementation.

This release includes: preliminary AMD64 support, new ml-ulex and ml-antlr tools, a fix for a signal delivery problem on Intel-based Macs, plus other changes.

Alice 1.3 has been released. Alice is a functional language based on Standard ML, adding support for concurrent, distributed and constraint programming.

This release includes: a tutorial on constraint programming using the binding to the Gecode library, bytecode JIT compilation by default, support for some of the extensions proposed for Successor ML, plus other changes and bugfixes.

The 2006 ACM SIGPLAN Workshop on ML has put out a call for participation. It "aims to provide a forum for discussion and research on existing and future ML and ML-like languages."

It will be held on September 16, 2006, in Portland, Oregon.

SML/NJ 110.59 has been released. SML/NJ is a portable, open-source Standard ML '97 implementation.

This release includes: a fix for a linking problem on NetBSD 3.x, eXene fixes, MLRISC improvements, plus other changes and bugfixes.

The 2006 ACM SIGPLAN Workshop on ML has put out a call for papers.

The submission deadline is June 3, 2006, with the workshop being held in Portland, Oregon, on September 16, 2006.

SML# has been announced. It is an extension to Standard ML, adding support for improved interoperability with C, record polymorphism, and rank-1 polymorphism.

An alpha release of the SML# compiler is currently available.

SML/NJ 110.58 has been released. SML/NJ is a portable, open-source Standard ML '97 implementation.

This release includes: a new lexer generator tool; support for Mac OS X on Intel-based Macs, 32-bit mode on x86-64 systems, and untested support for NetBSD 3.x; cleaned up signal handling on x86/Linux; plus other changes.

MLKit 4.3.0 has been released. It is an open-source Standard ML implementation, including support for generating native code on x86 Linux.

This release includes: updates to the Basis Library, garbage collection of regions by default, documentation improvements, support for separate compilation with MLB-files, plus other changes and various bugfixes.

Stephen Weeks has announced that updated performance benchmark results are available for the MLton 20051202 release. The runtime ratio, code size, and compile time of MLton for a number of different programs is compared to those of other Standard ML implementations, including ML Kit, Moscow ML, Poly/ML, and SML/NJ.

MLton 20051202 has been released. It is a portable, optimizing Standard ML compiler.

With this release, MLton is released under a BSD-style license. This release also includes: support for the x86/MinGW and HPPA/Linux platforms, documentation improvements, foreign function interface improvements, new ML Basis annotations, and the ckit and SML/NJ libraries.

Standard ML of New Jersey 110.57 has been released. SML/NJ is a portable Standard ML implementation which emits code for a number of popular architectures.

This release includes: an actual implementation of Array2.copy, the removal of the deprecated Substring.all function, tweaks to the new interval set API, internal organization improvements, plus other changes and fixes.

SML/NJ 110.56 has been released. SML/NJ is a portable, optimizing Standard ML implementation.

This release includes improved code generation for polymorphic equality on datatypes, an x86 register allocator bugfix, code cleanups, plus other changes.

Alice ML 1.2 has been released. Alice ML adds support for type-safe programming and constraint programming to Standard ML.

This release includes support for optimized just-in-time internal bytecode generation, overhauls of various libraries, a regular expression library, 64-bit support, plus other improvements and bugfixes.

The 2005 ML Workshop has put out a call for participation. The aim of the workshop is to "provide a forum for researchers, developers, and users to hear about and discuss the latest work on the use, design, and implementation of ML-like languages." It will be held September 29, 2005, in Tallin, Estonia.