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.
|Tags||Software Development Interpreters|
|Operating Systems||Mac OS X Windows POSIX Linux|
Release Notes: 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.
Release Notes: 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.