私はセットに入れる必要がある様々なユーザ定義型を持っています。 、 module Mut = Set.Make(struct type t = string ;; let compare = compare end);;
しかし、それは文字列の代わりにすることが可能であるので、？： module Mut = Set.Make(struct type t = procexp ;; let com
たとえば、次のファイルをプログラムに動的にロードして結果を出力したいとします。 input1.txt - >プリント100 let x = 10 in x * x
input2.txt - >プリント3 let x = 1 and y = 2 in x + y
input3.txt - >プリント4 let ls = [1;2;3;4] in List.length ls
ocaml_
私はOCamlの入門ガイドに従っています。私が取り組んでいるプログラムが動作していないので、理由を説明できるかどうか疑問に思っていました。 let profit_500 : int =
let price = 500 in
let attendees = 120 in
let revenue = price * attendees in
let cost =
1）モジュール module Int_Sig_1 =
struct
let x = 1
end
;;
2があると）、このモジュールの明示的な署名 module type INT_SIG =
sig
val x:int
end
;;
3）iは基づいて、第1のクラスのモジュールを作成します上記のモジュールとモジュールのタイプについて let int_sig_1 = (modul
1）私が署名 module type UINTSIG=
sig
type t
val create: t->t
end
2を持っている）私は理想的には私が1で署名を維持したいと思います上記の署名を使用する2つのモジュールに を作成したいです、1の署名を使用するモジュールの実装ファイルと署名ファイルとは別のファイルになります。 私の質問は上記の1をどこに置くべきですか？私の質問は です。
私はocaml_pluginを使用して、実行時にOCaml式を評価できる電卓を作成しています。 これは私のプラグインインターフェイスです。 open Ocaml_plugin.Std
module type S = sig
val f : unit -> float
end
let univ_constr : (module S) Ocaml_dynloader.Univ_co