ocaml - 如何从 mli 文件自动生成 stub ？

Question

假设我有一些接口(interface)文件 mylib.mli 就像

var foo      : 'a list -> int
val bar      : f:('a -> 'b) -> 'a list -> 'b list
val baz      : f:('a -> bool) -> 'a list -> 'a list
val frobnitz : init:'acc -> f:('acc -> 'a -> 'acc) -> 'a list -> 'acc
val frobozz  : 'a list -> 'a list -> 'a list
val quux     : 'a list list -> 'a list

是否有一种自动方法来生成相应的 mylib.ml 作为 stub 集合？ (“ stub ”是指“最小的接口(interface)实现函数”。)

Answer 1

据我所知，目前还没有编写这样的工具。也许吧，因为手动完成并不是一项艰巨的工作。编写 stub 的最简单方法是:

let foo = failwith "not implemented"

或者你可以按照以下方式制作

let stub _ = failwith "unimplemented"

let foo = stub
let bar = stub
...