Poly/ML是一个标准ML实现，最初使用一种称为Poly的实验性语言编写。从4.0版本开始，它与ML97标准完全兼容。有关完整历史，请参见这里。Poly/ML采取了对标准ML语言的保守态度，避免不兼容的扩展。它添加了各种库扩展，尤其是线程库。Poly/ML的活跃开发和独特功能使其成为一个卓越的实现。 目录 功能 基础 安装 邮件列表 功能 快速编译器 适用于大型项目（如Isabelle和HOL）的首选实现。 外部函数接口 - 允许在Poly/ML中加载静态和动态库，并将其功能公开为Poly/ML功能。请参见这里的静态链接示例。 符号调试器 Windows编程接口 线程库 - 提供了一个简化版的Posix线程，经过修改以适应标准ML，并允许Poly/ML程序利用多个核心。垃圾收集器也进行了并行化。 基础 Poly/ML基础库的文档可以在这里找到，其中包括全局值、类型以及结构、签名和函子的相关信息。更深入的文档可以在SML Family网站的这里找到。 安装 Poly/ML原生支持i386（32位和64位）和ARM（仅64位）。它还可以在使用字节码解释器的其他架构上运行。有关更多信息，请参见下载页面。 邮件列表 Poly/ML有一个邮件列表用于提问和支持。