Perl 6对变量的文档注意到,%信号可以与执行角色的类型一起使用。它特别提到了、和。但是,如何将放入带有%的变量中?如果使用类型约束,就会得到一个奇怪的错误:Type check failed in assignment to %pair; expected Pair but got Str ("b")
in block
在下面的程序中,我们知道valStr.value假设泛型类型t的子类型t。然而,当我在poly中检查它时,类型显示为t。在poly解释器中,我能看到t专门化为pair吗?: pair val getFirst : pair -> real type pair end sig valgetFirst : pair ->