Alice ML

愛麗絲是一個基於標準的ML函數式編程語言，擴展並發，分佈式和約束編程的豐富支持。
這裡是“愛麗絲夢遊ML”一些主要特點：
ยท期貨：懶惰和輕量的並發數據流同步
ยท高階模塊：高階函子和抽象簽名
ยท包：整合與靜態動態類型和第一類模塊
ยท酸洗：高階類型安全，通用與平台無關的持久性
ยท組件：平台獨立性和模塊的類型安全的動態加載
ยท分佈：類型安全的跨平台的遠程功能和網絡移動性
ยท約束：採用約束傳播和可編程解決搜索問題combinatorical
愛麗絲系統是一個豐富的開源編程系統具有以下工具：
 
ยท虛擬機：便攜式虛擬機與即時編譯支持
ยท互動系統：一個翻譯類頂級互動
ยท批處理編譯：獨立編譯
ยท靜態鏈接：類型安全組件捆綁
ยท檢查：用於檢查交互數據結構的工具
ยท瀏覽器：用於交互式調查搜索問題的工具
ยทGT​​K +：有約束力的侏儒工具包GUI庫
ยทSQL：訪問SQL數據庫的庫
ยทXML：用於解析XML文檔的簡單的庫
什麼是新的，在此版本：
ยท愛麗絲現在合併為一些ML繼任者提出的擴展。
ยท字節碼抖動現在是默認的執行單元。
ยท文檔包括約束編程教程，和約束庫現在使用Gecode當前穩定版本。