Rascal中的列表模式匹配

Question

在Haskell（和Prolog / Erlang中非常相似）中，我们可以在列表上定义一个长度函数：

length [] = 0
length (x:xs) = 1 + length xs

在Rascal中，我可以使用以下方式创建一个定义：

int length([]) = 0;
int length([x,xs*]) = 1 + length(xs);

“ *”消失在递归长度的右手边。 我知道这可能是其原因，但我无法弄清楚。 是否有更好的方法在Rascal中使用模式匹配在列表上定义递归函数？

Answer 1

我想解决您的问题的各个方面：

1. 您的Rascal版本看起来不错。 Rascal比Haskell具有更通用的列表模式匹配：多个变量可以匹配多个元素，因此列表模式中的每个“列表变量”都必须用*标记以表明这一点。

2. 我们正处于过渡阶段，正在从后缀*变为前缀*。 因此，第二条规则可以写成（将来应该写成）：

   int length([x,*xs]) = 1 + length(xs);

3. 您可能想探索可用于编写各种类似折叠功能的reducer表达式 ：

   int length(list[int] xs) = ( 0 | it + 1 | x <- xs );

   它包括三个部分：

   • 初始值（0）; 内置变量将it设置为此初始值。
   • 可以累积结果并可以使用it的表达式，这里： it + 1 。 实际上， it = it + 1 。
   • 产生列表元素的枚举。
4. 这些是更通用的（不仅仅是简单的头/尾）模式匹配示例：
   • [*x, a] ：匹配列表末尾的元素
   • [*x, *x] ：将列表分成两等份
   • [*a, x, *b, x, *c] ：找到两个重复的元素
5. 绑定列表变量绑定了一个完整列表，您可以像指向列表的任何其他变量一样使用它，但是如果要将其拼接到规则的右侧，则会得到一个更对称的视图： int length([x,*xs]) = 1 + length([*xs]); ，当然，这也可以泛化，因此这也是可能的： [*xs, 2, *xs]其中*运算符只是删除了一层列表嵌套。