Download List

專案描述

Alice ML is a functional programming language that enriches the statically typed, closed functional world of ML with extensive support for type-safe programming of concurrent, distributed, and open systems. It also features cutting-edge constraint programming technology in the tradition of Oz/ Mozart. Alice ML is a mostly conservative extension of Standard ML.

System Requirements

System requirement is not defined
Information regarding Project Releases and Project Resources. Note that the information here is a quote from Freecode.com page, and the downloads themselves may not be hosted on OSDN.

2006-09-18 14:06
1.3

Alice now incorporates some of the proposed
extensions for Successor ML. The bytecode jitter
is now the default execution unit. The
documentation includes a constraint programming
tutorial, and the constraint library now uses the
current stable version of Gecode.
標籤: Minor feature enhancements

2005-03-28 08:05
1.1

The Interactive Toplevel now comes with an optional GUI that includes a simple editor. The library now enables safe runtime access to the compiler, including a type-safe Lisp-style "eval". Programmable custom search strategies for constraint programming are now supported, including a distributed search engine. An aliceglade tool allows the creation of GTK+ interfaces with the graphical Glade interface builder. Bugfixes and minor feature enhancements were made.
標籤: Initial freshmeat announcement

Project Resources