“圆形” SML 中的函数声明

Question

我想以“循环”方式使用函数，如以下示例所示：

fun cll1 (s)= cll2(s);
fun cll2 (s)= cll3(s);
fun cll3 (s)= cll(s);

编写此代码会在 SML 中产生错误，表明构造函数 cll2 未绑定。有人可以帮我写一些类似的东西吗？在C语言中这是可能的；我想用SML 写它。

Answer 1

您需要 and 关键字。

fun cll1 s = cll2 s
and cll2 s = cll3 s
and cll3 s = cll s

显然，这些定义行不通，因为它是无限递归（通常您会在一个或多个函数中测试基本情况），但这是一般形式。

Answer 2

在本例中，由于 cll1 依赖于 cll2，cll2 依赖于 cll3，而 cll3 > 在一些不相关的事情上（即函数实际上并不像你想象的那样循环），你也可以写

fun cll3 (s)= cll(s);
fun cll2 (s)= cll3(s);
fun cll1 (s)= cll2(s);

（当然，在这种情况下，因为它都是一样的，人们不妨写 val (cll1 ,cll2,cll3) = (cll,cll,cll) 但这可能不是很有意义。）

也就是说，这与循环定义无关，不像您所说的那样；同样的情况也会发生

val a = b
val b = 0

（如果意图是 a = b = 0）。

这里要指出的一点是，与 c 中的函数不同，sml 中的声明是按顺序求值的，如果您想引用尚未声明的内容，则必须明确 - 以及 and 是这样做的常用方法，是的，因为从语义上讲，在任何情况下，它都表明该组函数旨在组合在一起，以便它们可以相互引用。