如何在Raku中创建兼容Failure的参数化Maybe类型

好问题！你最初的子集之所以失效，是因为Failure本身就是Mu的子类，所以Mu | Failure其实等价于Mu——相当于没做任何约束。咱们来解决这个问题，有两种主要方式，看你更倾向哪一种：

方式一：参数化子集（最简洁的方案） #

Perl 6支持参数化的子集，直接定义一个能接收类型参数的子集，约束它匹配指定类型T或者Failure就行：

subset Maybe[::T] is export of Mu where T | Failure;

# 测试你的示例函数
sub foo(--> Int) { rand < 0.5 ?? 1 !! fail 'oops' }
my Maybe[Int] $foo = foo; # 完美匹配Int或Failure

# 验证效果
say $foo.WHAT; # 随机输出(Int)或(Failure)

这个方案最直接，完全满足你“为任意类型快速生成兼容Failure的约束”的需求，代码也最简洁。

方式二：参数化角色（适合需要额外行为的场景） #

如果你以后想给Maybe类型添加一些通用方法（比如判断是否成功、安全获取值等），用参数化角色会更灵活。我们可以通过实现ACCEPTS方法来让角色具备类型检查能力：

role Maybe[::T] is export {
    # 定义类型检查逻辑：匹配T或Failure
    method ACCEPTS($value) {
        $value ~~ T | Failure
    }

    # 可以额外添加实用方法
    method is-success() {
        self ~~ T
    }

    method get() {
        self.is-success ?? self !! die self.exception
    }
}

# 使用方式1：用where子句应用角色约束
sub foo(--> Int) { rand < 0.5 ?? 1 !! fail 'oops' }
my $foo where Maybe[Int] = foo;

# 使用方式2：直接作为类型标注（加()触发ACCEPTS检查）
my Maybe[Int]() $bar = foo;

# 测试额外方法
if $foo.is-success {
    say "成功获取值: " ~ $foo.get;
} else {
    say "失败原因: " ~ $foo.exception.message;
}

这种方式不仅能实现类型约束，还能扩展出更多通用行为，适合需要对“可能失败的结果”做统一处理的场景。

补充说明 #

关于你函数的返回类型声明(--> Int)：Perl 6允许函数声明返回类型但实际返回Failure（这是异常控制流的一部分），但如果直接把结果赋值给Int类型的变量会触发类型检查错误。而我们定义的Maybe[Int]正好解决了这个问题——允许变量同时接收预期的Int和异常的Failure。

内容的提问来源于stack exchange，提问作者Kaiepi