問題タブ [ocamlbuild]

これを自分で機能させるために何日も試みた後、私は時間を無駄にするのをやめ、ついに助けを求めなければなりませんでした. iMac で Mavericks を実行しています。Eclipse[バージョン: Kepler Service Release 1] と OcaIDE プラグインをインストールしました。ocamlbuild、omakeおよびを除くすべてのパスがデフォルトで入力されていますOcamle lib Path。そのため、最終的に Ocaml でプログラムをコンパイルし、ターミナルで取得した結果を取得するために必要なすべてのことを行ったと考えていました。

新しい Ocaml マネージド プロジェクトを作成し、次に拡張子付きの新しいファイルを作成して、次のようfile.mlに入力しました。

ターミナルでは、期待どおり- : int = 10の結果が得られます。しかし、Eclipse では、エラー タブでorg.eclipse.e4.ui.workbench. これをグーグルで検索しましたが、エラータブにこのエラーが表示される可能性があるものがたくさんあるようです。コードを選択して「トップレベルで評価」をクリックすると、エラーではなく有用なものを生成するコードを取得できるように、これを修正する助けが必要です。助けていただければ幸いです。ありがとうございました。

私は最近、いくつかの基本的な資料とOCamlで書かれたプロジェクトによってOCamlを学んでいます。しかし、OCaml のいくつかの記号がわかりません。例えば：

これらの記号 ` はどういう意味ですか?
また、他の記号も理解するのが難しいです:

• |>
• _

OCaml Manualには何も見つかりません。誰かが上記の記号について詳しく説明できますか? または、私にいくつかの資料をお勧めしますか？

別のファイルの定義を使用する ocamlbuild プラグイン (myocamlbuild.ml) を作成しようとしています。複数のビルド プラグインで使用したい多くの定義があり、それらを独自のファイルに入れたいと考えていました。プラグインをビルドするためだけに -no-plugin を指定して ocamlbuild を 2 回実行してみました。

ocamlbuild -no-plugin myocamlbuild.cmo

そしてその後また

ocamlbuild actual-targets.otarget

しかし、2番目のものを実行すると、プラグインを再構築しようとし、含まれているライブラリが見つからないと不平を言います(_buildディレクトリに存在しますが)。それで、コマンドラインに '-I _build _build/coq_paths.cmx' を含めるように ocamlbuild を納得させる方法はありますか? 「ocamlbuild -help」から、「-plugin-option」フラグがあるように見えますが、それを使用する方法が見つかりません。

ありがとう。

OCaml で書かれたプロジェクトを読みましたが、ソース コードがわかりません:

このコードは素集合の一部ですが、再帰関数がよくわかりません。私は C++ プログラマーだったので、ポインターを使用して親オブジェクトを簡単に処理できます。
このコードを OCaml utop で実行すると、結果に驚かされます。多くのノードを生成しました。
このコードは非常に多くのノードを生成するため、多くのメモリを消費しますか?
コンパイラはオーバーフローなしでこれをどのように処理しますか?

最近OCamlプロジェクトを読んでいて、ソースファイルをutopに置いて、いくつかの実験を行いたいと思っています。amodule.mlとbmodule.ml
という 2 つのファイルがあるとします。bmodule.mlは、 amodule.mlで定義された関数を使用します。たとえば、bmoduleはamodule.anyfunction()を使用します。ここで、anyfunction()はamodule.mlで定義されています。 両方をutopに入れたい：

Amodule はamodule.mlファイルに基づくモジュール名であり、 utopはこれらのことを認識していないため、これは機能しません。 では、ファイルの内容を変更せずにこれらのファイルを utop に配置するにはどうすればよいでしょうか?</p>

ソフトウェアの更新を間違えたため、OUnit テストを実行できません。

問題を単純な REPL セッションに要約することができたと思います。

私が間違っていることはありますか？

デフォルトの大文字と小文字を区別しない/大文字と小文字を保持するファイルシステムを備えたMacラップトップでこれを実行していますが、インクルードパスの大文字と小文字を区別しても役に立ちません。

私のより大きな問題は次のように現れます。