聚/毫升

历史和确认:Py/ML最初是由David Matthews在剑桥大学的计算机实验室撰写的。它是用一种实验语言编写的,聚,类似于ML,但有不同的类型系统。其中第一个用户是Larry Paulson,他用它来开发伊莎贝尔定理证明器。它被剑桥大学的剑桥公司的技术服务,然后称为LyxVale,授权给抽象硬件有限公司(AHL),后者开发了它,并用它来编写用于硬件验证的LAMBA系统以及其他工具。Mike Crawley在运行时系统上做了大量的工作,Simon Finn大量参与将Py/ML从Poice翻译成标准ML. Nick Chapman(No.Twitter No.Don on Co DOT-UK)NIC编写了C语言接口。在1999,AHL在PYL/ML中的权利是通过削减获得的,他们同意使PLE/ML免费获得。最近,David Matthews继续开发Py/ml。标准库已经实现,编译器转换为标准ML的1997个定义(修订版)。这项工作部分由LFCS支持。最近的工作已经重写了导致版本5发布的运行时系统。这项工作得到了VeliSoFT项目和慕尼黑工业大学的支持。