OCaml

これはCamlのライトの方言に基づいて、ML言語の実装で完全なクラスベースのオブジェクトシステムとStandard MLスタイルの強力なモジュールシステムを拡張。
目的Camlのは、2つのコンパイラを含みます。一つは、その後、Cプログラムによって解釈されたバイトコードを生成します。
このコンパイラは、すぐに実行され、実質的に任意の32ビットまたは64ビットのUNIXプラットフォームに移植され、適度なメモリ要件でコンパクトなコードを生成します。
作成したプログラムのパフォーマンスがbytecoded実装​​のための非常に良いです。
このコンパイラは、スタンドアロンのプログラムを生成し、スタンドアロン、バッチ指向コンパイラとして、または対話型、トップレベルベースの​​システムとしても使用することができます。
他のコンパイラでは、番号の高性能ネイティブコードを生成します
プロセッサの。
コンパイルは時間がかかりますし、大きなコードを生成しますが、バイトコードコンパイラの中程度のメモリ要件を維持しながら、生成されたプログラムは、優れたパフォーマンスを提供します。
目的CamlのはCamlの言語の中で最も人気のある変形です。
言語の観点からは、本格的なオブジェクト指向の層とコアCamlの言語だけでなく、強力なモジュールシステム、型推論を搭載し、サウンド、ポリモーフィック型システムで接続されているすべてを拡張します。
目的Camlのシステムは9プロセッサアーキテクチャ（IA32、PowerPCの、AMD64、アルファ、SPARC、MIPS、IA64、HPPA、ストロング）用の高性能ネイティブコードコンパイラ（ocamlopt）を搭載し、この言語の非常に強力な実装です、同様にバイトコードコンパイラ（ocamlcが）、インタラクティブ、read-eval-printループ（ocamlの）迅速な開発と移植のために。
 目的Camlの分布は、包括的な標準ライブラリ、リプレイデバッガ（ocamldebug）、レクサー（ocamllex）とパーサー（ocamlyacc）ジェネレータ、プリプロセッサプリティプリンタ（Camlp4の）およびドキュメントジェネレータ（ocamldoc）が含まれます。

このリリースで新しく追加されます：

Tcl / Tk 8.6に更新しました。
オブジェクト内の同じメソッドやインスタンス変数の複数の宣言を拒否します。
でも多型バリアントの存在下で、パターンマッチングに向けてタイプ情報を伝搬します。

バージョン4.02.1の新機能です。

Tcl / Tk 8.6に更新しました。
オブジェクト内の同じメソッドやインスタンス変数の複数の宣言を拒否します。
でも多型バリアントの存在下で、パターンマッチングに向けてタイプ情報を伝搬します。

バージョン3.12.1の新機能です。

芽固定：
で検出されていない未使用の変数は、「（構造体..終了）を含みます "
（CAMLリストに報告された）トップレベルでCamlp4の改訂版構文印刷バグ
設定：cygwinの下_WIN32が定義されていません
2つのカスタムブロックを比較し、カスタム操作の異なるセットを持っている場合で硬化し、一般的な比較。
2 bigarraysは異なる種類を持っている場合にはbigarrays間の硬化比較。
固定間違っexpm1の自動検出（）とlog1p（）。
ocamlmktopシェルスクリプトをインストールする際に.exeのサフィックスを追加しないでください
ocamldoc：ocamldocオプションの表示に関するマイナーな修正
OCAMLRUNPARAMに大きな値を使用してバグを修正
宣言とcaml_major_collection_sliceの定義との不一致
フィーチャー願い：
ocamldepに追加「-ml同義語」と「-mli同義語」オプション
ocamlbuildに追加「-ocamldoc 'オプション
ocamlbuildにオプションを追加するために追加された可能性
現在Camlp4のパーサやプリンタへのアクセスを追加しました
AMD64上のフロート操作のための改善命令選択
アルギニンに「usage_string」機能を追加しました
データ型定義に型方程式を追加する制約を許可します
他のもののような「@Before」タグをマージすることを許可します
ファイル "_oasis」への依存を許可します
その他の変更：
32K 256Kへの言葉から変更デフォルトのマイナーヒープサイズ。
箱なし整数でカスタムブロック値を比較したときに呼び出されるカスタムブロックに新たな操作「compare_ext 'を追加しました。

バージョン3.12.0の新機能です。

フォーム{LBL =パットの録音パターン。 _}意図的に、すべてのラベルが一覧表示されていないことをマークします。
警告は今番号が付けられているとオフを個別に切り替えることができます。警告のセットを参照文字で古いシステムはまだサポートされています。
型ユニットを持つように列の左側の一部を強制的に「-strictシーケンス 'オプションを追加しました。
マップ：マップの意味をなすセットから機能を実装しています。
ネイティブdynlinkのサポートを追加します。
7（コード 'M'、メソッドのオーバーライドを）警告の意味は、（それが今、すべて上書きを検出し、同じクラス本体の内部だけではなく、繰り返しの定義）に変更された、それが今ではデフォルトで無効になっています。

バージョン3.11.2の新機能です。

minとmax w.r.t.のためのより良いドキュメントNaNに
ocamlbuildは、Cファイルの間違ったコンパイラを使用します
ocamlbuildが正しく設定情報を使用しません。
UnixのLIBのためのいくつかのWindowsインストールの下では、高起動時間
scanf関数とCRLF通報
Windowsでocamlmklib問題
ソケットアドレスを持つBSDの問題、例えばUnix.getnameinfoで
GNUアセンブラによってフロートリテラルの解析に関する問題
モジュールとプライベート種類を通報

要件：

GNU Cコンパイラ - GCC