Perl6 的功能类似于 Scheme 中的"car cdr cons"？

Question

我真的很喜欢perl6和scheme。我想知道perl6中是否有类似于方案中的"cons，car，cdr"函数的函数？我一直在做的事情感觉很麻烦：

sub cons($a, $aList) { return flat($a, $aList); } # sometimes flat is undesired;
sub car($aList) { return first($aList); }
sub cdr($aList) { return tail($aList.elems - 1); }

谢谢。

Answer 1

Perl 6 列表/数组不是链表。
但是，Pair 类型可用于构建链表，并提供这三个 Lisp 函数的功能。

使用嵌套Pair

Pair表示键值对。例如，当迭代一个Hash时，你会得到一个Pair的序列。

如果你把一个Pair想象成一个缺点单元格，那么你可以构建一个链表，就像Lisp一样，作为一个Pair，它有另一个Pair作为它的值，而另一个Pair作为它的值，依此类推。

• =>运算符(Pair构造函数(履行 conc 的角色。
• .key方法履行了汽车的作用。
• .value方法履行 cdr 的作用。

例：

my $l = (1 => (2 => (3 => (4 => (5 => Nil)))));
say $l.key;    # 1
say $l.value;  # 2 => 3 => 4 => 5 => Nil

=>运算符是右关联运算符，因此第一行也可以不带括号：

my $l = 1 => 2 => 3 => 4 => 5 => Nil;

如果你想用它们熟悉的名称声明 Lisp 函数，它看起来像这样：

sub cons ($x, $y)  { $x => $y }
sub car  (Pair $y) { $y.key   }
sub cdr  (Pair $y) { $y.value }

但请注意，没有内置的便利函数来对这种基于 Pair 的链表进行列表处理。因此，如果你想做相当于 Scheme 的长度或附加函数等，那么你必须自己编写这些函数。所有内置的列表处理例程都假定正常的 Perl 6 列表或兼容的Iterable类型，而Pair不是。

使用普通的 Perl 6 列表

如果你想使用普通的Perl 6列表/数组作为你的数据结构，但为它们实现Lisp函数的行为，我会这样写：

sub cons ($x, $y) { $x, |$y  }
sub car  (@y)     { @y[0]    }
sub cdr  (@y)     { @y[1..*] }

一些评论：

• 我没有使用flat，而是使用|运算符将$y的元素滑入外部列表。
• first函数不会执行代码中的预期操作。它用于搜索列表。它将第一个参数(在您的情况下$aList(解释为谓词，其余参数(在您的情况下没有(解释为要搜索的列表，因此在您的情况下，它总是返回Nil。
  要返回列表的第一个元素，您可以使用 [ ] 位置下标运算符代替，就像我在这里所做的那样。
• return关键字是可选的;将自动返回函数最后一个语句的结果。

Answer 2

这是另一组函数，类似于您的原始函数，并且对汽车/CDR使用前缀运算符：

sub prefix:<car>(List $l) is tighter(&infix:<xx>) { $l.head }
sub prefix:<cdr>(List $l) is tighter(&infix:<xx>) { $l.tail(*-1).list }
sub cons($item, List $l) { ($item, |$l) }

如果您愿意，这些提供了几乎是 lisp 的语法。

my @l = (1, 2, 3, 4);
my $l = |@l;
say "Array";
say "car: ", (car @l).perl;
say "cdr: ", (cdr @l).perl;
say "List";
say "car: ", (car $l).perl;
say "cdr: ", (cdr $l).perl;
say "Literal";
say "car: ", (car (4, 3, 2, 1)).perl;
say "cdr: ", (cdr (4, 3, 2, 1)).perl;
say "cons: ", (cons car $l, cdr $l).perl;