.CMI ファイル拡張子
コンパイル済みOCamlインターフェース
| 開発元 | Inria |
| 人気度 |
3.0 | 3 票 |
CMIファイルとは？
CMIファイルは、コンパイルされたOCamlインターフェースファイルです。OCamlで開発されたアプリケーションが使用するデータ型と変数の定義が含まれています。CMIファイルは、OCaml .MLファイルまたはMLIファイルをコンパイルすると作成されます。
詳細情報
Objective Caml（OCaml）は、主に記号計算アプリケーションの作成やプログラミング教育に使用される、MLベースのプログラミング言語です。開発者がOCamlを使用して開発したアプリケーションの構築（つまり、実行可能ファイルの作成）を開始するには、まずアプリケーションのMLファイルとMLIファイルをコンパイルする必要があります。開発者がMLファイルまたはMLIファイルをコンパイルすると、OCamlはCMIファイルを生成します。
CMIファイルには、開発者のアプリケーションに含まれるデータ型と変数のコンパイル済み定義が含まれています。コンパイル処理中に作成されたCMOファイルとともに、CMIファイルはアプリケーションの実行可能ファイルの構築を続けるために使用されます。
CMIファイルの開き方
CMIファイルは開くことを想定していません。開発者はCMIファイルを使用して、OCamlアプリケーションを構築します（実行可能ファイルを作成します）。