是否有 OCaml 工具支持使用 Perl 的 Perl::Critic 模块等最佳实践？

Question

是否存在一种工具可以分析 OCaml 程序并提出风格和代码方面的一些改进建议？在 Perl 的世界里仍然存在 Perl::Critic 避免不良风格。

我需要的是一些工具，这些工具不仅可以提示样式，还可以使事情变得更清晰，并避免 OCaml 程序中非尾递归的构造。

有什么提示吗？

Answer 1

我没有使用过它，但上周有关 Caml 群组的消息提到吉祥物。它看起来就是你所追求的。我不确定尾递归标准；上述项目的作者没有提到它们，但提到了插件功能。

或者，使用 -dlinear （对于 ocamlopt[.opt]）进行编译将生成线性化代码，其中提及该函数是否是尾调用。 -annot 也会产生尾部调用信息，但除了 变更日志（在 3.11.0 中添加）。它以什么方式标记尾部调用，它不会做相反的标记非尾部调用（或者也许有办法？）。下面是一个名为 sum 的函数的输出示例，

let rec sum a = function
    | x when x = 0 -> a
    | x -> sum (a+1) (x-1)

它产生（以及更多输出），

*** Linearized code
camlTail__sum_58:
  if x/30[%rbx] !=s 1 goto L100
  return R/0[%rax]
  L100:
  I/31[%rbx] := I/31[%rbx] + -2
  I/32[%rax] := I/32[%rax] + 2
  tailcall "camlTail__sum_58" R/0[%rax] R/1[%rbx]

但我认为经验将是您最好的选择。查看一些流行的项目（例如电池），了解风格和典型惯例。我不认为插件会帮助您调用累加器变量 acc 或延续 cont。