OCaml类型导向的API搜索

Question

OCaml中是否存在类型导向搜索工具（如Coq的SearchPattern命令），我可以在其中定义类型约束，例如_ * int -> float，然后该工具将搜索给定文件集中的“所有函数映射对，其第二个元素是一个整数浮点数”？

独立工具或集成到IDE中的内容都可以。我们的想法是，在探索新API时，如果我希望获得类型为Foo.t的值，那么查找_ -> Foo.t形式的所有函数可能比浏览整个API更有效。

Merlin有助于找到给定表达式的类型，但据我所知，它没有这种“API发现”功能。

我找到OcamlScope，但它似乎只是一个仅限网络的服务，并且仅限于一组固定库。我希望能够在我自己的文件中搜索现有的函数。

Answer 1

ocamloscope的来源可以在https://github.com/camlspotter/ocamloscope/找到。您可以成功在本地使用它。甚至还有issue用于制作OPAM包。