我问了一个问题，为什么我尝试进行函数链接不起作用：使函数在完成一些工作后返回自身，答案是：要使函数返回自身，您需要启用递归类型-rectypes。这让我很困惑。为什么这个功能隐藏在编译器标志后面？必须有充分的理由不默认启用它。所以我的问题是：使用这个标志时有什么权衡？我应该避免它，还是可以安全地将它用于我的所有代码，并且它不是仅与旧代码兼容？
-rectypes
ocaml recursive-type
ocaml ×1
recursive-type ×1