【发布时间】:2018-10-12 05:48:18
【问题描述】:
对于 F# 中的递归,现有文档清楚地说明了在只有一个函数调用自身或一组物理上相邻的函数相互调用的特殊情况下如何执行此操作。
但是一般情况下,不同模块中的一组函数需要相互调用,你是怎么做的呢?
【问题讨论】:
-
我不确定这是否可能。我知道由于各种类型检查编译问题,这在 O'caml 中是不可能的。
-
@LB40:这是不正确的。 OCaml 具有递归模块。例如,要定义一个联合类型,它的构造函数采用一组您正在定义的类型的值,您必须使用递归模块。