连接~~连接行为

Question

我想检查是否数组的所有元素都有给定的类型。

$ raku -e 'my @t = 1,2,3; say all(@t) ~~ Int'
True

$ raku -e 'my @t = 1,2,3,"a"; say all(@t) ~~ Int'
False

到目前为止，工作情况与预期一致。现在我想允许两种类型：

$ raku -e 'my @t = 1,2,3,"a"; say all(@t) ~~ Int|Str'
False

为甚麽呢？如果单个元素的1 ~~ Int|Str为True，为什么all() elements连接失败？

顺便说一句:这个问题是关于理解Junction ~~ Junction行为(这也有点文档)，而不是关于通过示例执行检查的替代方法(我知道这是可能的)。

Answer 1

额外的几行代码可能有助于弄清楚是怎么回事：

say all(1,    2,   3)  ~~ Int|Str; # OUTPUT: «True»
say all('a', 'b', 'c') ~~ Int|Str; # OUTPUT: «True»
say all(1,    2,  'c') ~~ Int|Str; # OUTPUT: «False»

也就是说，all(1, 2, 'c') ~~ Int|Str在问“是所有1, 2, 'c'都是Ints的情况，还是所有1, 2, 'c'都是Strs的情况？”因为这两种情况都不是，所以它返回False。