function - "Circular"SML 函数声明

Question

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

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

编写此代码会在 SML 中产生错误，即构造函数 cll2 未绑定(bind)。有人可以帮我写些东西吗？在 C 中是可能的；我想用 SML 编写它。

Answer 1

您需要 和 关键字。

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

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