例如，我想將下列文件動態加載到我的程序中並打印出結果。 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_plugin可能對這個項目有用。我想
我是一個初學者自學OCaml與真實世界OCaml。 出於某種原因，線 let contains_1 l =
if List.mem l 1 then true;;
拋出錯誤 錯誤：此表達具有等於輸入：（INT - > INT - > BOOL） - > BOOL但預期的表達類型布爾 這個例子似乎非常簡單，我不知道是怎麼回事。好像List.mem l 1沒有評估，只是坐在那裏作爲一個功
我正在按照OCaml的入門指南和我正在開發的一個程序不工作，我想知道是否可以解釋爲什麼。 let profit_500 : int =
let price = 500 in
let attendees = 120 in
let revenue = price * attendees in
let cost = 18000 + 4 * attendees in
1）假設有一個模塊 module Int_Sig_1 =
struct
let x = 1
end
;;
2）和該模塊 module type INT_SIG =
sig
val x:int
end
;;
3）的顯式簽名和我創建基於第一級模塊在上面的模塊和模塊類型 let int_sig_1 = (module Int_Sig_1:INT_SIG)
4）現在我創建另一個
我有一個ocaml的問題早解決，但我不知道是否有優化我的解決方案最好的辦法，因爲我已經嘗試了所有的渠道，因爲我很新的ocaml的我真的不能看着辦吧出。我有一個模式功能，可以很好地打印，然後再添加一組功能。漂亮的打印功能如下： let rec processoperatorchange fmt = function
| Zero -> Format.fprintf fmt "0"
| Pproc
1）I有這種模塊型 module type MOD_SIG = sig type t val min val max;;
2）I創建基於上述 module MOD_UINT8 = struct
type t = int32
let min = Int32.of_int 0
let max = Int32.of_int 255 end;;
module MOD_
1）我有一個簽名 module type UINTSIG=
sig
type t
val create: t->t
end
2）我想創建一個使用上面的簽名兩個模塊 所以我非常希望保持簽名1 ，在一個單獨的文件中，使用1中籤名的模塊的實現和簽名文件。 我的問題是 A）我應該在哪裏將簽名放在上面1中。我應該把它放在uintsig.mli文件中嗎？ B）如何在.mli/ml文件中表示他們在1