文档

Poly/ML文件

聚乙烯/ML依据
基础是所有预定义模块、值和类型。它包含所有实现通用的标准基础标准ML和Poly/ML专用扩展。这些包括这个线程库和外国职能接口。

Motif用Poly/ML快速参考手册
介绍Poly/ML的Motif接口以及一个简单的示例程序。

聚乙烯/MLX参考手册（PDF）
Poly/ML中Xlib的参考手册。

窗户Poly/ML编程
关于在Poly/ML中编程Windows的简短教程。

Windows界面参考
Windows界面的引用。

来源Poly/ML中的电平调试
版本4.1中添加了源代码级调试器。本文档解释如何使用它调试ML程序。

漂亮的印刷
漂亮的打印机制在5.3版中发生了变化。本文档描述了新的PolyML.addPrettyPrinter函数和相关数据类型。

概述Poly/ML源代码
介绍构成Poly/ML源代码的各种文件。源代码本身得到了很好的注释，但这提供了一个概述每个文件适合整体结构的位置。

IDE通信协议
用于ML之间通信的通信协议的详细信息和一个IDE。

多边形语言。

Poly/ML之所以得名，是因为最初的实现是用一种叫做Poly的语言写的。这是由David Matthews开发的作为博士项目的一部分。大多数报纸与Poly的合作现已绝版，因此对于那些对Poly三公司感兴趣的人来说文件现在可用。

最早的文档是介绍到Poly写于1982年。这描述了如何编写简单的程序在聚乙烯中。

这个概述Poly编程语言的在第一次研讨会上介绍1985年8月，在苏格兰阿宾的Persistent Objects上。

这个多边形手动可能是最完整和最新的描述语言。这本书已经过多个版本，并已出版在1985年9月SIGPLAN通知的早期版本中。