Alice ML 1.3
爱丽丝是一个基于标准的ML函数式编程语言，扩展并发，分布式和约束编程的丰富支持。这里是“爱丽丝梦游ML”一些主要特点：ยท期货：懒惰和轻量的并发数据流同步ยท高阶模块：高阶函子和抽象签名ยท包：整合与静态动态类型和第一类模块ยท酸洗：高阶类型安全，通用与平台无关的持久性ยท组件：平台独立性和模块的类型安全的动态加载ยท分布：类型安全的跨平台的远程功能和网络移动性ยท约束：采用约束传播和可编程解决搜索问题combinatorical爱丽丝系统是一个丰富的开源编程系统具有以下工具： ยท虚拟机：便携式虚拟机与即...
