Download List

Projeto Descrição

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 já incorpora algumas das extensões propostas para o sucessor ML. O jitter bytecode é agora a unidade de execução padrão. A documentação inclui um tutorial de programação de restrição, ea biblioteca restrição agora usa a versão atual estável do Gecode.
Tags: Minor feature enhancements
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.

2005-03-28 08:05
1.1

O Toplevel Interactive agora vem com uma interface opcional, que inclui um editor simples. A biblioteca permite agora o acesso seguro de tempo de execução para o compilador, incluindo um tipo de seguro-Lisp-style eval ". Estratégias personalizadas Programável busca de programação com restrições são suportados, incluindo um motor de busca distribuído. Uma ferramenta aliceglade permite a criação de interfaces GTK + com o construtor de interface gráfica Glade. Correções de bugs e melhorias de funcionalidades menores foram feitas.
Tags: Initial freshmeat announcement
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.

Project Resources