是否有关于 Perl 6 中类型/约束的性能损失的研究？

与 Perl 5 相比，Perl 6 引入了可选类型以及约束，例如：

# Perl 5
sub mySub {
   my $probability = $_[0];
   # Do stuff with $probability
}

# Perl 6 - using optional typing and constraints
sub mySub(Real $probability where 0 < * < 1) {
   # Do stuff with $probability
}

是否有研究调查使用这些功能时是否存在性能损失，以及在不同 Perl 6 VM 上性能损失有多大？

我正在寻找设计良好且跨虚拟机的东西。

最完整且设计精良Perl 6 的性能测量工作是https://github.com/japhb/perl6-bench https://github.com/japhb/perl6-bench但它并不关注可选类型的相对性能。不过，它确实支持多个虚拟机后端，因此它可能是一个不错的起点。