Alice ML 1.3

愛麗絲是一個基於標準的ML函數式編程語言,擴展並發,分佈式和約束編程的豐富支持。這裡是“愛麗絲夢遊ML”一些主要特點:ยท期貨:懶惰和輕量的並發數據流同步ยท高階模塊:高階函子和抽象簽名ยท包:整合與靜態動態類型和第一類模塊ยท酸洗:高階類型安全,通用與平台無關的持久性ยท組件:平台獨立性和模塊的類型安全的動態加載ยท分佈:類型安全的跨平台的遠程功能和網絡移動性ยท約束:採用約束傳播和可編程解決搜索問題combinatorical愛麗絲系統是一個豐富的開源編程系統具有以下工具: ยท虛擬機:便攜式虛擬機與即...