我使用ocaml_plugin來編寫能夠在運行時評估OCaml表達式的計算器。 這是我的插件界面。 open Ocaml_plugin.Std
module type S = sig
val f : unit -> float
end
let univ_constr : (module S) Ocaml_dynloader.Univ_constr.t =
Ocaml_
我的代碼的表達: let safe_log10 = function x -> if (x <= 0.) then None else Some (log10 x);;
隨着輸入-1.0,這給: safe_log10 -1.0;;
Error: This expression has type float -> float option
but an expression was