一般ML97として知られている「標準MLの定義(改訂版)」、で与えられる
ポリ/ MLの4.0バージョンので、今の言語のフルバージョンをサポートしています。
だけでなく、標準的なmlのポリ/ MLの非常に高速かつ効率的に実施されるいくつかの追加機能を提供します。
ポリ/ MLは最も人気のあるアーキテクチャとオペレーティングシステムで使用できます   。 ネイティブコードのi386(32ビットおよび64ビット)、パワーPCとSPARCアーキテクチャー&NBSP用のバージョンがあります。サポートされていないアーキテクチャで使用することができるバイトコードインタプリタのバージョンがあります。ソースからビルドする際にconfigureスクリプトが自動的にアーキテクチャを選択します
この特長:ます。
動的にリンクされたライブラリをロードすると、その中の関数はMLから呼び出すことができます外国語のインタフェースがあります。
モチーフを使用して、X-Windowsのインターフェイスが利用可能であり、Windowsのプログラミングインターフェイスです。
ポリ/ MLのシンボリックデバッガもあります。
このリリースで新しい何が:
この新機能:
スタンドアロンのバイナリをサポート
追加のプラットフォームのサポート:AMD64、インテルマック、Cygwinの
ヒープのサイズや保存された画像には人工的な制限はありません
建物のための標準的なGNUツールを使用しています
固定アドレスはmmapとトラップハンドリング削除
このバージョン5.3の新機能:
この主な新機能:
IDEインターフェースのサポートの追加。
プリティプリントと平等に変更します。これらは、現在のモジュールの境界を越えて継承されます。 PolyML.addPrettyPrinterの添加は、新しいスタイルのかなりのプリンタをインストールします。
名前の署名を複数の場所で使用される場合、メモリ要件を低減する署名の作り直し実装。
種類とエラーメッセージの印刷の改善。
マイナーの追加と変更:
アウト·オブ·ツリーのビルドのサポート
外国関数インタフェースを追加しましたファイナライズ(CInterface)
ML90のための除去残りのサポート
現在のソース位置を返しますが追加されましたPolyML.sourceLocation擬似機能、例外が発生した位置を返し、明示的な場所とPolyML.exceptionLocationで例外を発生させPolyML.raiseWithLocation。
追加されたPolyML.Compiler.reportUnreferencedIdsは、参照されていない識別子のレポートを有効に切り替えます。
機能をデバッガにbreakExとclearExが追加されました。これらは、コードが指定された例外が発生し、デバッガを入力してください。
特にWindowsでパイプにresonsivenessの改善。
Word32構造のX86-64バージョンを追加しました。 64ビットマシンはQUOTこと&する32ビット値を必要としません。箱入り]です。
バグ修正:
今のMac OS X 10.6(Snow Leopardに)上に構築
SPARC上でマルチスレッドを修正しましたが、今だけV9プロセッサをサポートしています。
タイミング関連のクラッシュを修正したときに、ポリ/ MLの終了
OS.SysErr例外に文字列引数を修正しました。
WindowsでOS.FileSys.mkDirに修正しました。
nが偶数である場合(nは、1〜)捕虜に修正しました。
規格に、より密接に合致するさまざまな修正。
コメントが見つかりません