新 解釋器和編譯 為 Guido Tack

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