检查 C 中的 OCaml 类型签名

Question

假设我有一个 OCaml 函数

let _ = register "cbf_coh_insert" (fun k v -> print_endline ("Inserted key=" ^ k ^ " value=" ^ v))

，这是一个带有两个参数的函数。在 C 端，我会用 caml_callback2(*caml_named_value("cbf_coh_insert"), k, v); 来调用它。在 C 端，有没有办法检查参数数量（本例中为 2）是否匹配？除了我猜想调用它并试图捕获 SIGSEGV 之外。谢谢！

更新：一些背景。

Answer 1

NO WAI

这应该在编译时确保（手动或通过代码生成或通过解析和检查 C 和 OCaml 代码是否同步）

UPDATE

示例寄存器函数：

let on_cbf_coh_insert (f : string -> string -> unit) = register "cbf_coh_insert" f

UPDATE

我希望能够将闭包/let 绑定直接传递到 C 中。

您为什么认为这是不可能的？查看始终执行此操作的现有绑定。

顺便说一句，这个问题完美地说明了XY问题。