Perl 6 中的有限列表可以是惰性的吗？

Question

假设我有一个序列，我知道起点和终点，并且生成器很简单。我可以让它变懒吗？

my @b = 0 ... 3;
say 'Is @b lazy? ' ~ @b.is-lazy; # Not lazy

我想将该已知列表与其自身组合未知次数，但不立即生成整个列表。我要@cross偷懒:

my @cross = [X] @b xx $n;

我知道我可以通过其他简单的事情或编程来做到这一点（我的 Perl 5 Set::CrossProduct 就是这样做的），但我很好奇是否有一些我遗漏的简单和预期的方法.一些不涉及我自己指望的方式。

作为附带问题，序列的惰性特征是什么？它只是终点吗？如果生成器可以在两者之间产生无限值，是否存在一个具有已知端点的序列仍然可以是惰性的？我想知道我必须删除多少信息并尝试过这样的事情：

my $m = @*ARGS[0];
my @b = 0, * + $m ... ^ * > 3;
say 'Is @b lazy? ' ~ @b.is-lazy;
say '@b: ' ~ @b;

不过，这并不懒惰。

Answer 1

是的，你可以，使用 lazy method:

> my @b = (0 ... 3).lazy;
[...]
> say 'Is @b lazy? ' ~ @b.is-lazy;
Is @b lazy? True

没有什么特别的 Seq 让它变得懒惰，只是它的底层 Iterator 如此。

Answer 2

"is-lazy"方法，在我看来，实在是用词不当。正如 cuonglm 指出的那样，它唯一说的就是传递底层迭代器声称是惰性的。但是那个 still 并不意味着什么，真的。迭代器在技术上可以按需生成值，但仍然声称它不是惰性的。反之亦然。

"is-lazy" 检查在内部用于防止需要提前知道元素数量的情况（如 .roll 或 .pick）：如果 Seq / 迭代器声称是惰性的，它就赢了'实际尝试，但失败或抛出。

.lazy 做的唯一一件事是将 Seq 的迭代器包装到另一个确实声称是惰性的迭代器中（如果给定的迭代器声称它不是惰性的），当然）。并确保它不会提取任何值，除非确实需要。因此，添加 .lazy 并不会说明什么时候会产生值，只会说明它们何时会被传递。它有助于测试基于迭代器的逻辑，以了解它们如何与声称是惰性的迭代器一起工作。

因此，回到问题：如果您想确定某些东西是惰性的，您将不得不自己编写迭代器。话虽如此，在过去的几个月里，我花了很多精力让核心的东西尽可能地懒惰。值得注意的是 xx N 仍然不是惰性的，尽管它现在确实产生了一个 Seq。让它变得懒惰在一些我还没有弄清楚的深层次上打破了一些幽灵。展望未来，我认为你可以确定事情会像一般意义上的那样懒惰，也许有可能表明内存优先于 CPU。但是你永远无法完全控制内置函数：如果你想要完全控制，你将不得不自己编写。

Answer 3

如前所述，is-lazy 没有任何意义。

但我只想提一下，有一个 page on rakudo wiki 提供了一些线索，说明您可以从 is-lazy 中得到什么。

Answer 4

您可以：

my @b = 0 ... 3;

懒惰只需在正确的位置添加 lazy 关键字，如下所示：

my @b = lazy 0 ... 3;

或者，正如 cuonglm 指出的那样，您可以调用范围的方法，如下所示：

my @b = (0 ... 3).lazy;

Perl 6 中的有限列表可以是惰性的吗？

Can a finite list be lazy in Perl 6?

lazy-evaluation

raku