Poly/ML – 标准 ML 实现

Poly/ML Poly/ML 是一种标准 ML 实现，最初是用名为 Poly 的实验语言编写的。从4.0版本开始完全兼容ML97标准。有关完整的历史记录，请参阅此处。 Poly/ML 对标准 ML 语言采取保守方法，并避免不兼容的扩展。它添加了各种库扩展，特别是线程库。 Poly/ML 的积极开发和独特功能使其成为出色的实施方案。 Table of Contents Features Basis Installation Mailing List Features Fast compiler Preferred implementation for large projects such as Isabelle and HOL .外部函数接口 - 允许在 Poly/ML 中加载静态和动态库并将其函数公开为 Poly/ML 函数。有关静态链接的示例，请参见此处。 Symbolic debugger Windows programming interface Thread library - provides a simplified version of Posix threads modified for Standard ML and allows Poly/ML programs to make use of multiple cores.垃圾收集器也是并行的。 Basis The documentation for the Poly/ML Basis library can be found here and includes information on global values and types as well as structures, signatures and functors.更深入的文档可以在 SML Family 网站上找到。安装 Poly/ML 原生支持 i386（32 位和 64 位）和 ARM（仅限 64 位）。它还可以使用字节码解释器在其他架构上工作。欲了解更多信息，请参阅下载页面。邮件列表 Poly/ML 有一个用于问题和支持的邮件列表。