Ocamlツール

今日は、Objective CAMLでのプログラミングに役立つツールについてお話します。



客観的なCamlツール：

* ocamlc

* ocamlインタープリター

* ocamlbrowser



ocamlc -Objective Caml言語コンパイラは、本質的にコマンドラインインターフェイスであり、

引数を順番に受け入れて処理します。

コンパイルユニットインターフェイスのソースファイルです。 ここに名前があります

エクスポートされたコンパイル単位：変数名、データ型など。

A.mliファイルから、ocamlcコンパイラーは、コンパイルされたインターフェースを持つA.cmiファイルを作成します。

.mlで終わる引数は、コンパイル単位の実装のソースファイルと見なされます。

実装には、ユニットによってエクスポートされた名前の定義と、サードパーティの効果に対して計算された式が含まれます。 ocamlcを使用してA.mlファイルから、A.cmoファイルにバイトコードを持つオブジェクトが後で作成されます。



主なocamlcオプション：

-a

コマンドラインで指定された.cmoオブジェクトファイルからライブラリ（.cmaファイル）を作成します。 ライブラリの名前は、-oオプションを使用して指定できます。 デフォルト名はlib.cmaです

-c

コンパイルのみ、ビルドフェーズなし。 ソースファイルはコンパイル済みファイルに変換されますが、実行可能ファイルは作成されません。

-カスタム

デフォルトモードでは、リンカーはcamlrun共有システムで実行するためのバイトコードを作成します。 このモードでは、結果ファイルにバイトコードとランタイムシステムの両方が含まれます。

-g

コンパイルおよびリンク中にデバッグ情報を追加します。

-i

コンパイラーは、コンパイル時にすべての定義名を表示します

-implファイル名

拡張子が.mlと異なる場合でも、指定されたファイルを実装としてコンパイルします。

-intfファイル名

拡張子が.mliと異なる場合でも、指定されたファイルをインターフェイスとしてコンパイルします。

-linkall

ライブラリ内のすべてのモジュールを強制的にコンパイルします。

-noassert

クレーム検証を無効にし、クレームはコンパイルしません。

-nolabels

型のオプションのラベルを無視します。

-o exec-file

リンカによって作成されたファイルの名前。

-rectypes

型チェック中に任意の再帰型を許可します。

-スレッド

スレッドライブラリを使用してマルチスレッドプログラムをコンパイルまたはコンパイルします

-v

コンパイラのバージョン番号と標準ライブラリへのパスを表示します

-どこ

標準ライブラリへのパスを表示します



通訳OCaml：

ocamlはインタラクティブなObjective CAMLシステムであり、このモードでは、システムは入力からCamlフレーズを読み取り、タイプをチェックし、コンパイルして実行し、認識された結果のタイプと値があればそれを表示します。



OCamlBrowserは、ソースコードとコンパイルされたインターフェイスのブラウザです。



OCamlBrowserは次の機能を実行します。



-Objective Camlモジュール間のナビゲーション。



-ソーステキストの編集、入力チェック、表示。



基本的に、Objective Camlでプログラミングするための3つの標準ツールがあります。

OCamlDebugとOCamlDoc、デバッガー、ドキュメントジェネレーターもあります。 次の投稿で

言語に直接行きましょう。



psOfficialサイト-Objective Caml