标签： ocaml
有没有办法让ocaml告诉我函数是否使用尾递归实现递归？我不是说读代码。我的意思是让ocaml告诉我，这样说：
let x = tail_recursion f;;
答案 0 :(得分：4)
您可以使用'-annot'编译源代码。它将生成一个编辑器可以使用的注释文件。
在caml-mode（emacs）命令ist：
M-x caml-types-show-call