使用 Raku 的 Code.sumption 方法和使用匿名 Block 或 Sub 有什么区别？

Question

Raku docs say那个Code.assuming

返回一个 Callable，它实现与原始行为相同的行为，但传递给 .假设的值已经绑定到相应的参数。

使用.assuming 与将代码包装在匿名块（或子）中调用内部函数并绑定一些参数有什么区别？

例如，在下面的代码中，&surname-public（文档为.assuming 提供的示例）和&surname-block 之间有什么区别；

sub longer-names ( $first, $middle, $last, $suffix ) {
    say "Name is $first $middle $last $suffix";
}

my &surname-public = &longer-names.assuming( *, *, 'Public', * );
my &surname-block  = -> $a,$b,$c { longer-names($a, $b, 'Public', $c) }

surname-public( 'Joe', 'Q.', 'Jr.');  # OUTPUT: «Name is Joe Q. Public Jr.»
surname-block(  'Joe', 'Q.', 'Jr.');  # OUTPUT: «Name is Joe Q. Public Jr.»

我看到.assuming 节省了一些篇幅，并且在某些情况下可以更清晰一些。但我强烈怀疑我遗漏了其他一些差异。

Answer 1

真的没有区别。

虽然实现.assuming() 的代码将近 300 行，但重要的一点只有大约 10 行代码。

    $f = EVAL sprintf(
        '{ my $res = (my proto __PRIMED_ANON (%s) { {*} });
           my multi __PRIMED_ANON (|%s(%s)) {
               my %%chash := %s.hash;
               $self(%s%s |{ %%ahash, %%chash });
           };
           $res }()',
        $primed_sig, $capwrap, $primed_sig, $capwrap,
        (flat @clist).join(", "),
        (@clist ?? ',' !! '')
    );

.assuming 中的其余代码主要是关于从签名中提取信息。

---

让我们将您的代码插入到sprintf。
（不完全相同，但对于我们的目的来说已经足够接近了。）

{
  my $res = (
    #  $primed_sig          v----------------------v
    my proto __PRIMED_ANON ($first, $middle, $suffix) { {*} }
  );

  # $capwrap               vv
  # $primed_sig                v----------------------v
  my multi __PRIMED_ANON (|__ ($first, $middle, $suffix)) {
    # $capwrap   vv
    my %chash := __.hash;

    #     v---------------------------v  @clist
    $self(__[0], __[1], 'Public', __[2], |{ %ahash, %chash });
  };

  # return the proto
  $res
}()

如果我们简化它，并根据您的代码定制它

my &surname-public = {
  my $res = (
    my proto __PRIMED_ANON ($first, $middle, $suffix) { {*} }
  );

  my multi __PRIMED_ANON ( $first, $middle, $suffix ) {
    longer-names( $first, $middle, 'Public', $suffix )
  };

  $res
}()

我们可以通过使用一个尖头块来进一步简化它。

my &surname-public = -> $first, $middle, $suffix {
  longer-names( $first, $middle, 'Public', $suffix )
};

也可以使用单字母参数名称。

my &surname-public = -> $a,$b,$c { longer-names($a, $b, 'Public', $c) }

就像我说的，真的没有区别。

---

未来，使用.assuming() 可能会更有益。在它被重写以使用 RakuAST 之后。