语法 – Perl 6是否应该能够解释来自不同来源的相同角色的包含？

role Alpha {
    token alpha { :i <[A..Z]> }
    }

role Digit {
    token digit { <[0..9]> }
    }

role Either
    does Alpha
    does Digit {
    token either { <alpha> | <digit> }
    }

grAMMar Thingy
    does Either
    does Alpha
    {
    token TOP { <alpha> <either>* }
    }

my $match = Thingy.parse( '1a3' );
dd $match;

是的,Perl 6应该能够解开来自不同来源的相同角色的包含.

role的简单definition是：

要么

因此,假设我们对可以在水上浮动的对象具有Floatable行为,并且对于可以航行的对象具有Sailable行为.当然,可以航行的物体可以漂浮. Sloop天然可浮动且可以播放. Floatable和Sailable角色都传达了相同的Floatable行为,这一事实没有冲突.

在Perl中,这可以按预期工作(它也适用于MoosE)：

#!/usr/bin/env perl

use v5.24; # why not
use warnings;

package Floatable {
    use Moo::role;
    sub float { say "float" }
}

package Sailable {
    use Moo::role;
    with 'Floatable';
    sub sail { $_[0]->float; say "sail" };
}

package Sloop {
    use Moo;
    with qw( Floatable Sailable );
}

my $s = Sloop->new;

$s->sail;

这种行为是直观明显的行为.

在查看Perl6 documentation for roles时我注意到的一个问题是缺少简单的一句话定义：

…

显然,当perl6遇到两个提供完全相同行为的角色时,它会认为这是一种我认为不合理的冲突.

请注意以下示例中的细微区别：

#!/usr/bin/env perl

use v5.24; # why not
use warnings;

package Floatable {
    use Moo::role;
    sub float { say "float" }
}

package Sailable {
    use Moo::role;
    sub float { say "floaTing bonds to finance journey "}
    sub sail { $_[0]->float; say "sail" };
}

package Sloop {
    use Moo;
    with qw( Floatable Sailable );
}

my $s = Sloop->new;

$s->sail;

在这种情况下,可能会发生冲突,因为两个不同的角色想声称提供相同的行为.