Poly/ML

由于4.0版本的保利/ ML的，它现在支持完整的版本在给定的语言“标准ML的定义（修订稿）”，一般被称为ML97。
除了作为极其快速和高效的执行标准ML保利/ ML提供了多种附加功能。
保利/ ML是可用的最流行的体系结构和操作系统＆NBSP;＆NBSP;有原生代码版本的I386（32位和64位），Power PC的和Sparc架构＆NBSP;＆NBSP;存在可以在不支持的结构中使用一个字节码解释版本。从源代码构建时，配置脚本会自动选择架构

功能：

• 在这里有一个外国语言界面，允许动态链接库被加载，并在其中的功能从ML调用。
• 在使用的Motif的X-Windows界面可用，在Windows的编程接口。
• 还有一个象征性的调试器，保利/ ML。

什么在此版本中是新的：

• 新特点：
• 支持独立的二进制文件
• 支持更多的平台：AMD64，英特尔Mac，Cygwin的
• 在堆的大小没有人为的限制或保存图像
• 在使用标准的GNU工具构建
• 在固定地址MMAP和陷阱处理去除

什么是5.3版本的新：

• 在主要的新功能：
• 加入了IDE接口的支持。
• 更改漂亮的印刷和平等。这些现在都在模块间继承。除了PolyML.addPrettyPrinter来安装一个新的风格非常的打印机。
• 执行重做减少签名时，一个名为签名用于在多个地方的内存需求。
• 改进的类型和错误信息打印。
• 小添加和更改：
• 支持外的树构建
• 定稿新增外商函数接口（CInterface）
• 对于ML90除去残留的支持
• 新增PolyML.sourceLocation伪函数，返回电流源的位置，PolyML.raiseWithLocation引发的异常有明确的定位和PolyML.exceptionLocation返回，其中一个异常升高的位置。
• 添加PolyML.Compiler.reportUnreferencedIds切换，使报告未引用的标识符。
• 新增breakEx和clearEx到调试器的功能。这些进入调试程序代码时引发一个给定的异常。
• 要改进到resonsiveness管道特别是在Windows中。
• 新增X86-64版本Wor​​d32结构。 64位机器不需要32位值是＆QUOT;盒装＆QUOT;
• 修正项目：
• 现在，建立在Mac OS X 10.6（雪豹）
• 修正的多线程Sparc上，但现在只支持V9处理器。
• 修正计时相关碰撞时，保利/ ML退出
• 修正字符串参数OS.SysErr异常
• 修正至OS.FileSys.mkDir在Windows
• 修正了POW（〜1，n），其中n为偶数
• 各种修​​补程序，以更符合标准。