rakulang, dartlang, nimlang, golang, rustlang, lang lang no see

正确地使用 proto

焉知非鱼

Apropos proto: Perl6.c multi thoughts

Multi 程序相当整洁, 但对于我来说似乎并不完整。一些背景 — 人们可以这样计算阶乘:

multi fac(0) { 1 }
multi fac(Int $n where 1..Inf) { $n * fac( $n-1 ) }
say fac(4); # 24

现在假设我们要把我们的递归 multi-sub 作为一个回调传递会怎样呢?

given &fac -> $some_fun { say "some_fun(4)=", $some_fun(4) }

现在… 定义一个匿名的 multi-sub 怎么样?

my $anon_fac = do {
    multi hidden_fac(0) { 1 }
    multi hidden_fac(Int $n where 1..Inf) { $n * fac( $n - 1 ) }
    &hidden_fac };

say $anon_fac(4); # 24

这也会有作用, 但是有点 hack 的味道, 并且我们的 multi-sub 并不是真正的匿名。它仅仅是被隐藏了。真正匿名的对象不会在任何作用域中安装, 而在这个例子中, “hidden_fac” 被安装在 “do” block 中的本地作用域中。

Raku说明书没有排除匿名的 multi 程序, 而且事实上

my $anon_fac = anon multi sub(0) { 1 }

会报一个错误:

Cannot use ‘anon’ with individual multi candidates. Please declare an anon-scoped proto instead

不能对单独的 multi 候选者使用 anon。请声明一个 anon-scoped 的 proto 代替。

让我们回到原先那个以 “multi fac(0) { 1 }” 开始的例子。当编译器看到它, 就会在同一个作用域中为我们创建一个"proto fac" 作为 multi 定义。proto 的作用就像一个分发器(dispatcher) — 从概念上讲, 当我们调用 fac(4) 的时候, 我们让 proto fac 为我们从 multi facs 中挑选一个出来以调用。

我们可以提前显式地定义一个 proto, 而且我们甚至能通过指定它的所有程序都需要 Int 类型的参数来对默认的 “proto” 加以改良。

proto fac_with_proto(Int) { * }
multi fac_with_proto(0)   { 1 }
multi fac_with_proto(Int $n where 1..Inf) { $n * fac( $n - 1 ) }
say fac_with_proto(4); # 24

因此, anon muiti sub 抛出的错误 — Please declare an anon-scoped proto instead — 正是告诉我们 “没有要安装到的作用域, 我不能为你获取一个 proto。 使用你自己的 anon proto, 并把这个程序附加给它”。

好的, 花蝴蝶, 感谢你的提醒! 我试试…

my $fac_proto = anon proto uninstalled-fac(Int) { * };
say $fac_proto.name; # uninstalled-fac

好极了! 现在所有我们要做的就是给那个 proto 添加 multis。

$fac_proto 是一个 Sub 对象, 它有方法来告诉你候选者, 但是没有办法设置(set) 候选者。并且我找不到任何方式在创建时传递一个候选者列表。

适当的修补 #


什么会让 proto/multi 干净并且正交是一种方式去

  • 在编译时指定候选者
  • 在运行时添加候选者

这有点像

my $future_fac = Proto( :dispatch( sub (Int) {*} ),
                        :candidates( [sub (0) {1}] ),
                        :mutable );

$future_fac.candidates.push(
    sub (Int $n where 1..Inf) { $n * fac( $n-1 ) }
);

$future_fac(4); # 24

我假定了一个 Sub 的子类 Proto 以揭露 multi 程序的内部工作原理。这个构造函数会允许定义任何 proto 声明符所做的: 签名 & 默认程序和名字。 还有, 它会允许在初始的候选者列表中传递一个属性。

最后, 那个对象自身会让候选者方法返回一个数组, 而不是一个不可变列表, 如果 Proto 是使用 mutable 属性创建的话。不指定 mutable 将意味着所有的 multis 需要在编译时添加, 而不允许在运行时添加。

http://blogs.perl.org/users/yary/2016/02/apropos-proto-perl6c-multi-thoughts.html