Raku中的多子程序递归

Question

我在学习raku，跟在书“乐库”中的思考后面

我需要一个练习来定义ackermann函数。

我定义了一个正整数子集：

subset Positive-Integer of Int where { $_ > 0}

然后，我使用以下方法浏览递归版本：

multi ackermann(0, Positive-Integer $n) {
    $n + 1;
}

multi ackermann(Positive-Integer $m, 0) {
    ackermann $m - 1, 1;
}

multi ackermann(Positive-Integer $m, Positive-Integer $n) {
    ackermann $m - 1, ackermann $m, $n - 1;
}

但是执行执行时得到的代码：

ackermann 3，4；

> * * &ackermann
> > * * &ackermann
> > * * &ackermann
> > ackermann 3, 4
Cannot resolve caller ackermann(Int:D, Int:D); none of these signatures match:
    (0, Int $n)
    (Int $m, 0)
  in sub ackermann at <unknown file> line 3
  in sub ackermann at <unknown file> line 3
  in sub ackermann at <unknown file> line 3
  in sub ackermann at <unknown file> line 3
  in sub ackermann at <unknown file> line 3
  in sub ackermann at <unknown file> line 3
  in sub ackermann at <unknown file> line 3
  in block <unit> at <unknown file> line 2

> 

我不明白这里发生了什么事。

Answer 1

从错误输出判断，您似乎试图在REPL中运行这些示例。查看错误输出中的实际错误，似乎缺少了这个候选：

multi ackermann(Positive-Integer $m, Positive-Integer $n) {
    ackermann $m - 1, ackermann $m, $n - 1;
}

如果我把你的例子的全部代码放在一个文件中：

subset Positive-Integer of Int where { $_ > 0}

multi ackermann(0, Positive-Integer $n) {
    $n + 1;
}

multi ackermann(Positive-Integer $m, 0) {
    ackermann $m - 1, 1;
}

multi ackermann(Positive-Integer $m, Positive-Integer $n) {
    ackermann $m - 1, ackermann $m, $n - 1;
}

say ackermann 3, 4;

我得到了预期的结果(125)。

因此，在我看来，您在将代码输入REPL会话时犯了某种错误。

贴士:如果您尝试使用多行代码的示例，通常更容易将每个示例存储到一个单独的文件中。这会让您对代码进行更多的监督，更容易地进行更改并查看其结果，如果您想要重新查看您过去做过的示例，那么您可以在稍后返回一些内容。