关于懒惰[拉库]

Question

在Raku文档中，说明了收集-获取构造被延迟计算。在下面的示例中，我很难总结出构造的懒惰：

say 'Iterate to Infinity is : ', (1 ... Inf).WHAT;

say 'gather is : ', gather {
    take 0;
    my ($last, $this) = 0, 1;

    loop {
        take $this;
        ($last, $this) = $this, $last + $this;
    }
}.WHAT;

say '------------------------------------';

my @f1 = lazy gather {
    take 0;
    my ($last, $this) = 0, 1;

    loop {
        take $this;
        ($last, $this) = $this, $last + $this;
    }
}

say '@f1         : ', @f1.WHAT;
say '@f1 is lazy : ', @f1.is-lazy;

say '------------------------------------';

my @f2 = 1 ... Inf;

say '@f2         : ', @f2.WHAT;
say '@f2 is lazy : ', @f2.is-lazy;

为什么我们在行为上有区别？尽管我们尝试做同样的事情：以懒惰的方式为数组分配Seq

有人能澄清一下这件事吗？？？

Answer 1

在Raku文档中，说明了收集-获取构造被延迟计算。

他们可以是。但不一定。他们非常乐意以任何方式工作。

在一个关键转折中，如果询问gather是否是惰性的，它将返回false。这就是你所看到的行为的结果。

say .is-lazy
for (gather { take 42 }),                 # False
    (gather { loop { take 42 } });        # False

say .is-lazy
for (lazy gather { take 42 }),            # True
    (lazy gather { loop { take 42 } });   # True

如果为@sigil dd变量分配了一个值，该值返回true，用于调用.is-lazy，则赋值和变量都是惰性的。因此代码@f1=lazy gather...工作正常。

最后，序列(1..INF)知道它是lazy，并告诉世界它是lazy，而不需要前缀lazy:

say .is-lazy with (1 ... Inf)             # True

因此，无论有没有lazy都可以很好地进行赋值。

与@符号变量一样，在$符号变量或无符号标识符上调用.is-lazy将返回true或false，与赋值/绑定的seq一致。

但是，无论.is-lazy返回true还是false，seq仍然会被缓慢地迭代。