ide - OCaml 类型导向的 API 搜索

Question

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

无论是独立工具，还是集成到 IDE 中的东西都可以。这个想法是，当探索一个新的 API 时，如果我想获得一个 Foo.t 类型的值，寻找 _ -> Foo.t< 形式的所有函数 可能比浏览整个 API 更有效。

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

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

Answer 1

ocamloscope 的源代码可以在这里找到 https://github.com/camlspotter/ocamloscope/ .您可能会在本地成功使用它。甚至还有一个 issue用它制作 OPAM 包。