参数化子集

Question

据我所知，您只能通过值本身参数化子集

subset MoreThanZero where * > 0

但是，有没有直接的方法来实现这样的东西？

subset MoreThan[\x] where * > x

然后宣布

my MoreThan[1000] $thousand-plus

也许迂回的方式是使用parameterized roles，但我正在考虑更直接的方法。有吗？

Answer 1

可能最简单的选择是创建一个提供自定义parameterize方法的类型，然后使用MOP构建基于以下内容的子集类型：

class MoreThan {
    method ^parameterize(Mu, $limit) {
        Metamodel::SubsetHOW.new_type:
            name => "more than $limit",
            refinee => Numeric,
            refinement => * > $limit
    }
}

然后这个：

my MoreThan[0] $x = 1;
say $x;
my MoreThan[2] $y = 3;
say $y;
$y = 1;

生产：

1
3
Type check failed in assignment to $y; expected more than 2 but got Int (1)
  in block <unit> at ss.p6 line 14