ocaml

0熱

1答えて

Iはopamによって非同期MODをインストール有する：シェルに入力これを： opam install async シェルリターン： [NOTE] Package async is already installed (current version is 113.33.03) Iはutopを使用し、最初#require "async";; 、私はopen Async.Std 缶しかし、私

1熱

2答えて

は、そのタイプ

ツバメI持って次最初と最後の名前を取得するためのメソッドを持つPersonモジュールタイプ：name機能をPersonを拡張する module type Person = sig type t val first : t -> string val last : t -> string end PersonUtilsファンクタを： module PersonU

0熱

1答えて

Reason配列が変更可能なのはなぜですか？

私はこのデザイン決定の背後にある根拠について尋ねていると思います。変更可能な理由配列は、他のデータ構造（リスト、レコード、ハッシュマップ、セット）の中で、デフォルトでは不変です。これには理由がありますか？不変の代替手段はありますか？

1熱

1答えて

SWIG typedefをクラス宣言から正しくエクスポートするにはどうすればいいですか？

私はSWIGを使っていて、ヘッダファイルevidence.hに、私は次のようしている： namespace dai { class Evidence { public: typedef std::map<Var, size_t> Observation; }; } そして、SWIGインタフェースファイルdai.iに、私は次のようしている： //T

1熱

1答えて

OOP - 結合していない値理由

でクラスを呼び出すしようとしたとき、私はメソッドを持って次のクラス、methodAを持って、私は（理由を使用して）を呼び出ししようとしています： class abstractProductA = { as self; pub methodA => "name"; }; abstractProductA#methodA; コンパイラは、次を出力しますエラー： Unbou

0熱

1答えて

Vimを使用したOcamlのMerlinプラグイン：保存時にファイルを自動コンパイルする

最近OcamlとMerlinプラグインを大学コースにインストールしました。私はVimをテキストエディタとして使用しています。保存時にMerlinが自動的に.mlファイルをコンパイルするように設定することは可能だと聞いたことがありますが、Webリサーチではそれについて何も見つかりません。教授はemacsを使用していますので、この機能を有効にします。

0熱

1答えて

リストを返す前にOcamlでリストのすべての要素を記録するにはどうすればいいですか？

結果を返す前に、結果のすべての要素をログに記録したいと思います。それを達成する方法はありますか？ let calculate ~size_of_experiment:s ~number_of_buckets:n = let results = run_experiments s n in List.iter (fun x -> print_endline x) results;

-1熱

1答えて

ocamloptは、リンカに渡されるデフォルトの引数をオーバーライドします。

私は、ネイティブ関数を使って簡単なocaml実行可能ファイルを構築しようとしています。ここにocamlコードminimal.ml ...は、2つのintを取り、intを返す外部関数を定義します。 external add: int -> int -> int = "add";; Printf.printf "%d\n" (add 4 7);; そしてここでは、Cコードは、リンカエラーを生

2熱

1答えて

オアシスにOCAMLOPTFLAGSを追加するには？

私は_oasisファイルにいくつかのフラグ（S、インライン20、nodynlink）を追加したいと思いますが、私はコンパイルエラーを取得： AlphaFeatures: ocamlbuild_more_args XOCamlbuildExtraArgs: "-cflags '-S -inline 20'" 私はどのようにこれらを追加することができ疑問に思って。かなり長いエラー： node:

3熱

1答えて

ocamlの遅延評価

「Objective-CAMLによるアプリケーションの開発」の107ページの例に従っています。 type 'a v = Imm of 'a| Def of (unit -> 'a) は、今私は、コンストラクタタイプDefは、遅延評価を強制する方法を理解しようとしていますか？ fを(unit -> 'a)とパラメータ化することは、どういう意味ですか？