Alice ML

앨리스는 분산, 동시 및 제약 프로그래밍을위한 다양한 지원을 확장 표준 ML 기반으로하는 함수형 프로그래밍 언어이다.
여기에 "앨리스 (ML)"의 일부 주요 기능은 다음과 같습니다
ย ท 선물 : 데이터 흐름 동기화 게으름과 경량 동시성
ย ท 높은 순서 모듈 : 고차원 펑과 추상적 인 서명
ย ท 패키지 : 동적 입력 및 최고 수준의 모듈과 정적 통합
ย ท 산 세척 : 고차 형 안전, 일반 및 플랫폼에 독립적 인 지속성
ย ท 구성 요소 : 플랫폼 독립성과 모듈의 형태 보증 된 동적로드
ย ท 배급 : 형태 보증 된 크로스 플랫폼 원격 기능과 네트워크 이동성
ย ท 제약 : 제약 전파 및 프로그램 검색을 사용하여 combinatorical 문제를 해결
앨리스 시스템은 다음과 같은 도구를 갖춘 풍부한 오픈 소스 프로그래밍 시스템이다 :
 
ย ท 가상 머신 : JIT 컴파일을 지원하는 휴대용 VM
ย ท 대화 형 시스템 : 통역사와 같은 대화 형 최상위
ย ท 배치 컴파일러 : 별도의 편집
ย ท 정적 링커 : 구성 요소의 형태 보증 번들
ย ท 관리자 : 대화 형 검사 데이터 구조를위한 도구
ย ท 탐색기 대화 형 검색 문제를 조사하기위한 도구
ย ท은 Gtk는 + : 그놈 툴킷의 GUI 라이브러리에 대한 바인딩
ย ท SQL : SQL 데이터베이스에 액세스하기위한 라이브러리
ย ท XML : XML 문서를 구문 분석에 대한 간단한 라이브러리
이 릴리스의 새로운 기능 :
ย ท 앨리스는 이제 후계자 ML에 대한 제안 확장을 포함한다.
ย ท 바이트 코드 지터는 이제 기본 실행 단위입니다.
ย ท 문서는 제약 프로그래밍 자습서를 포함하고 제약 라이브러리는 지금 Gecode의 현재 안정 버전을 사용합니다.