Alice ML

Alice là một ngôn ngữ lập trình chức năng dựa trên tiêu chuẩn ML, mở rộng với sự hỗ trợ phong phú cho các lập trình đồng thời, phân phối, và hạn chế.
Dưới đây là một số tính năng chính của "Alice ML":
ย ท Futures: lười biếng và trọng lượng nhẹ đồng thời với đồng bộ hóa dữ liệu lưu lượng
ย ท module bậc cao: functors bậc cao và chữ ký trừu tượng
ย ท Packages: tích hợp với tĩnh gõ năng động và mô-đun đầu tiên của lớp
ย ท phẩm làm sạch: bậc cao kiểu an, chung chung và nền tảng độc lập kiên trì
ย ท Components: nền tảng độc lập và nạp năng động kiểu an các module
ย ท Distribution: kiểu an cross-nền tảng chức năng từ xa và mạng di động
ย ท Constraints: giải quyết các vấn đề combinatorical sử dụng tuyên truyền hạn chế và tìm kiếm lập trình
Hệ thống Alice là một hệ thống lập trình mã nguồn mở có tính năng phong phú các công cụ sau đây:
 
ย ท ảo máy: một máy ảo di động với sự hỗ trợ cho chỉ trong thời gian biên dịch
ย ท hệ thống tương tác: một mục cấp đầu tương tác thông dịch như
ย ท biên dịch hàng loạt: biên dịch riêng biệt
ย ท mối liên kết tĩnh: bundling kiểu an của các thành phần
ย ท Inspector: một công cụ để tương tác kiểm tra cấu trúc dữ liệu
ย ท Explorer: một công cụ để tương tác điều tra vấn đề tìm kiếm
ย ท Gtk +: một ràng buộc cho Gnome bộ công cụ GUI thư viện
ย ท SQL: một thư viện để truy cập cơ sở dữ liệu SQL
ย ท XML: một thư viện đơn giản để phân tích các tài liệu XML
Có gì mới trong phiên bản này:
ย ท Alice bây giờ kết hợp một số các phần mở rộng được đề xuất cho kế ML.
ย ท Các jitter bytecode doanh nghiệp là đơn vị thực hiện mặc định.
ย ท Các tài liệu bao gồm một lập trình hạn chế hướng dẫn, và các thư viện hạn chế hiện nay sử dụng các phiên bản ổn định hiện hành của Gecode.