これは、Ubuntu Online、Fedora Online、Windows オンライン エミュレーター、または MAC OS オンライン エミュレーターなどの複数の無料オンライン ワークステーションの XNUMX つを使用して、OnWorks 無料ホスティング プロバイダーで実行できるコマンド ocaml です。
プログラム:
NAME
ocaml - OCamlのインタラクティブなトップレベル
SYNOPSIS
オカムル [ オプション ] [ オブジェクトファイル ] [ スクリプトファイル ]
DESCRIPTION
オカムル(1) コマンドは OCaml のトップレベル システムであり、
OCaml システムは読み取り、評価、印刷ループを介して実行されます。 このモードでは、システムは繰り返し読み取ります。
入力からの OCaml フレーズを型チェックし、コンパイルして評価し、出力します。
推論された型と結果の値 (存在する場合)。 システムは、前に # (シャープ) プロンプトを出力します。
それぞれのフレーズを読んでいます。
トップレベルのフレーズは複数行にまたがることがあります。 ;; で終了します。 (二重セミコロン)。 の
トップレベルフレーズの構文は次のとおりです。
最上位システムは次のコマンドによって起動されます。 オカムル(1)。 フレーズは標準で読み取られます
入力、結果は標準出力に出力され、エラーは標準エラーに出力されます。 ファイルの終わり
標準入力が終了する オカムルとします。
XNUMXつ以上の場合 オブジェクトファイル (.cmo または .cma で終わる) が指定されると、サイレントにロードされます。
トップレベルを開始する前に。
もし スクリプトファイル が与えられ、フレーズがファイルからサイレントに読み取られ、エラーが出力されます。
標準エラー。 オカムル(1) 最後のフレーズの実行後に終了します。
OPTIONS
次のコマンドラインオプションは、によって認識されます オカムルとします。
-absname
エラーメッセージに絶対ファイル名を表示します。
-I ディレクトリにジョブを開始します。
指定されたディレクトリを、ソースを検索してコンパイルしたディレクトリのリストに追加します。
ファイル。 デフォルトでは、現在のディレクトリが最初に検索され、次に標準のディレクトリが検索されます。
ライブラリディレクトリ。 で追加されたディレクトリ -I 現在の後に検索されます
ディレクトリは、コマンドラインで指定された順序で、前に指定されます。
標準ライブラリのディレクトリ。
指定されたディレクトリがで始まる場合 +、標準ライブラリに関連して取得されます
ディレクトリ。 例えば、 -I + compiler-libs サブディレクトリを追加します コンパイラライブラリ of
検索パスへの標準ライブラリ。
トップレベルが実行されたら、ディレクトリを検索パスに追加することもできます。
#ディレクトリ 指令。
-初期化 file
デフォルトの初期化ファイルの代わりに、指定されたファイルをロードします。 デフォルトのファイル
is .ocamlinit 現在のディレクトリが存在する場合はその中に、存在しない場合は .ocamlinit セクションに
ユーザーのホームディレクトリ。
-ラベル
ラベルはタイプで無視されません。ラベルはアプリケーションで使用でき、ラベルが付けられます
パラメータは任意の順序で指定できます。 これがデフォルトです。
-アプリ機能なし
ファンクターの適用動作を非アクティブ化します。 このオプションを使用すると、各ファンクター
アプリケーションはその結果に新しいタイプを生成し、同じファンクターをXNUMX回適用します
同じ引数にXNUMXつの互換性のない構造が生成されます。
-noassert
アサーションチェックをコンパイルしないでください。 特別なフォームに注意してください アサート false 常に
特別に型付けされているためコンパイルされます。
-ノーラベル
タイプ内のオプションではないラベルを無視します。 ラベルはアプリケーションでは使用できません。
パラメータの順序が厳密になります。
-noプロンプト
入力を待っているときにプロンプトを表示しません。
-nopromptcont
複数の行で継続行を待っているときに XNUMX 番目のプロンプトを表示しません。
ライン入力。 これは、実行時などに使用する必要があります。 オカムル(1) で エマックス(1) 窓。
-nostdlib
検索されるディレクトリのリストに標準ライブラリ ディレクトリを含めないでください
ソースファイルとコンパイルされたファイル用。
-開いた モジュール
トップレベルを開始する前に、指定されたモジュールを開きます。 複数の場合 -開いた オプションは
与えられた場合、ステートメントが開いているかのように、順番に処理されます。 モジュール1;; ...
開ける! モジュールN;; が入力されました。
-ppx command
解析後、抽象構文木をプリプロセッサにパイプします commandを選択します。
モジュール ast_mapper(3)プリプロセッサの外部インターフェイスを実装します。
-主要な
タイプチェック中に情報パスをチェックして、すべてのタイプが
主な方法で導出されます。 ラベル付き引数や多態性を使用する場合
メソッドの場合、このフラグはコンパイラの将来のバージョンが確実に
内部アルゴリズムが変更された場合でも、型を正しく推論できます。 すべてのプログラム
に受け入れられました -主要な モードは、同等のデフォルト モードでも受け入れられます。
型は同じですが、バイナリ署名が異なるため、型チェックが遅くなる可能性があります。 まだ
ソースコードを公開する前に一度使用することをお勧めします。
-rectypes
タイプチェック中に任意の再帰型を許可します。 デフォルトでは、再帰のみ
再帰がオブジェクト型を経由する型がサポートされています。
-安全な文字列
タイプ間の分離を強制する 文字列 & バイト、それによって文字列を読み取ります-
それだけ。 これは、OCamlの将来のバージョンでデフォルトになります。
-ショートパス
タイプが複数のモジュールパスの下に表示される場合は、最も短いものを使用してください。
推測されたインターフェイスとエラーおよび警告メッセージにタイプの名前を出力します。
-標準入力 インタラクティブなプログラムを開始するのではなく、標準入力をスクリプト ファイルとして読み取ります。
セッション。
-厳密なシーケンス
各シーケンスの左側の部分に type ユニットを強制します。
-安全ではない
配列および文字列アクセスの境界チェックをオフにします ( v。(i)&s。[i]
コンストラクト)。 でコンパイルされたプログラム -安全ではない したがって、わずかに高速になりますが、
安全でない: プログラムが外部の配列または文字列にアクセスすると、何かが起こる可能性があります。
その限界。
-安全でない文字列
タイプを特定する 文字列 & バイト、それによって文字列を書き込み可能にします。 理由のため
下位互換性のために、これは現時点ではデフォルト設定ですが、これは
OCamlの将来のバージョンで変更されます。
-バージョン
バージョン文字列を出力して終了します。
-vnum 短いバージョン番号を印刷して終了します。
-w 警告リスト
引数に応じて警告を有効または無効にします 警告リスト。 見る オカムク(1)
の構文については、 警告リスト 引数。
-警告-エラー 警告リスト
引数で説明された警告を致命的としてマークします 警告リスト。 注意してください。
警告が無効になっている場合、警告はトリガーされません (エラーもトリガーされません)。
-w オプション。 見る オカムク(1) の構文については、 警告リスト 引数。
-警告-ヘルプ
使用可能なすべての警告番号の説明を表示します。
- file file ハイフン (-) で始まる場合でも、スクリプト ファイル名として使用します。
-助けて or - 助けて
短い使用法の概要を表示して終了します。
ENVIRONMENT 変数
LC_CTYPE
iso_8859_1 に設定すると、(ISO Latin-1 文字セットの) アクセント付き文字が使用されます。
文字列および文字リテラルはそのまま出力されます。 それ以外の場合は、次のように出力されます。
XNUMX 進数のエスケープ シーケンス。
TERM エラーメッセージを印刷するとき、トップレベルシステムは視覚的に下線を引こうとします。
エラーの場所。 TERM 変数を参照して、次のタイプを決定します。
出力端末を使用して、端末データベースでその機能を検索します。
onworks.net サービスを使用して ocaml をオンラインで使用する