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為偶數
• 各種修補程序，以更符合標準。