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

앨리스는 이제 좀 후속 ML에 대한 제안된 확장 채택하고있다. 바이트 코드 지터 이제 기본 실행 단위입니다. 이제 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

인터랙티브 최상위 지금의 GUI 옵션은 간단한 편집기가 포함되어 함께 제공됩니다. 도서관 이제 안전 Lisp - 스타일 "평가 후면"유형을 포함하여 컴파일러 안전 런타임에 액세스할 수있습니다. 제약 프로그래밍을위한 프로그램 맞춤 검색 전략은 지금, 분산 검색 엔진을 포함하여 지원됩니다. aliceglade 도구와 GTK + 그래픽 제작 Glade 인터페이스 빌더는 인터페이스를하실 수있습니다. 마이너 버그수정 및 기능 향상되었다.
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