問題タブ [ocaml]

OCaml を使用してデータ メンバを持つオブジェクトを作成したいのですが、必ずしもデータ メンバの初期値を指定する必要はありません。多くの例ではリストを使用しているように見えますが、作成したオブジェクト タイプの単一のインスタンスを使用したいと考えています。これは可能ですか？ありがとう。

さらに、オプションキーワードを無駄に試しました：

ここで、コンパイラは、データ メンバが "bar オプション" 型を持つように指定したいときに、データ メンバが bar 型を持つように指定したいと文句を言います。

OCAML を使用して (ファイル システムから) ビットマップ ファイルを読み取り、ビットマップの次元を持つ配列内にピクセル (色) を格納します。各ピクセルは配列内の 1 つのセルを取得します。

関数Graphics.dump_image image -> color array arrayを見つけました が、ファイルから読み取れません。

オブジェクトのメソッドのコンテキストで OCaml の再帰を理解しようとしています。次のコードを試しましたが、コンパイルできないようです。

メソッド内でこの種の再帰関数を作成するにはどうすればよいですか?

改訂されたコード:

istream::putback(char)OCamlの C++ メソッドに相当するものはありますか?

stdinの先頭に文字を追加するにはどうすればよいですか?

以下のコンテキストでOCamlの深くネストされたリストを操作する際に問題が発生します。

私が得るエラーは、「アンバウンドインスタンス変数myList」です。このコンテキストで「List.appendmyList（createListOfElements f＃getP）」の結​​果をmyListに割り当てるにはどうすればよいですか？

ありがとう！

編集された機能：

ファンクター（およびその結果のタイプ）に少し問題があります。以下に、Orderedタイプを使用するSetファンクターがあります。私は実際set.mlにいくつかのガイダンスのためにocamlに付属しているものを使用しましたが、私はすべてを正しく行っているようです。整数を使用してOrderedモジュールを作成し、それをSetファンクターに適用して、このコードサンプルの最後のモジュールであるIntSetを取得しました。

整数を挿入しようとすると、次の行が失敗します。次のタイプエラーが発生します。

誤解しないでください。ここでは型システムが正しいです。SetInt.eltトップレベルはのタイプがであると報告していSet(OrdInt).eltますが、同じ操作を行ってocamlが提供するものを使用してセットを設定すると、「同じ」行は、SetInt.elt = OrderedInt.tです。私が取得する必要があるようSetInt.elt = Ordered.tです。

これはとても単純なので、私はおそらくいくつかの愚かな詳細が欠けています！ああ！

注意：この問題は型に関係しているため、ここではメンバー/挿入関数を簡略化しました。

OCaml で即時オブジェクトを作成しました。

オブジェクトには名前がないので (匿名と見なされますか?)、UML で正しく表現するにはどうすればよいでしょうか?

ありがとう。

PCLコードをPDF形式に変換するOCaml（できれば）プログラムを（概念実証として）作成しようとしています。どこから始めればよいかわかりません。そうするための標準化されたアルゴリズムはありますか? このタスクを達成するために利用できる他のアドバイスはありますか?

ありがとう！