Alice ML

爱丽丝是一个基于标准的ML函数式编程语言，扩展并发，分布式和约束编程的丰富支持。
这里是“爱丽丝梦游ML”一些主要特点：
ยท期货：懒惰和轻量的并发数据流同步
ยท高阶模块：高阶函子和抽象签名
ยท包：整合与静态动态类型和第一类模块
ยท酸洗：高阶类型安全，通用与平台无关的持久性
ยท组件：平台独立性和模块的类型安全的动态加载
ยท分布：类型安全的跨平台的远程功能和网络移动性
ยท约束：采用约束传播和可编程解决搜索问题combinatorical
爱丽丝系统是一个丰富的开源编程系统具有以下工具：
 
ยท虚拟机：便携式虚拟机与即时编译支持
ยท互动系统：一个翻译类顶级互动
ยท批处理编译：独立编译
ยท静态链接：类型安全组件捆绑
ยท检查：用于检查交互数据结构的工具
ยท浏览器：用于交互式调查搜索问题的工具
ยทGT​​K +：有约束力的侏儒工具包GUI库
ยทSQL：访问SQL数据库的库
ยทXML：用于解析XML文档的简单的库
什么是新的，在此版本：
ยท爱丽丝现在合并为一些ML继任者提出的扩展。
ยท字节码抖动现在是默认的执行单元。
ยท文档包括约束编程教程，和约束库现在使用Gecode当前稳定版本。