如何在Raku中实现类似F#的函数式链式绑定运算符？

1. 核心类型与Bind方法定义 #

先复刻F#中的类型结构，并为Burrito实现Monadic绑定所需的bind方法：

# 定义肉类枚举
enum Meat <Chicken Beef Pork>;

# 配料类
class Ingredient {
    has Str $.name;
}

# 墨西哥卷类，实现Monadic绑定逻辑
class Burrito {
    has Meat $.meat;
    has @.ingredients;

    # Bind方法：接收一个Burrito -> Burrito的函数，返回新的Burrito
    method bind(&transform) {
        transform(self);
    }
}

2. 自定义>>=运算符 #

你之前遇到的「Cannot unpack or Capture Code.new」错误，本质是运算符参数未正确声明为代码引用（&前缀），导致Raku错误解析传递的函数。正确的运算符定义如下：

# 定义左结合的>>=运算符，优先级设为10（可按需调整）
sub infix:<>>=>(Burrito $burrito, &transform) is assoc<left> {
    $burrito.bind(&transform);
}

3. 链式调用示例 #

编写配料操作的辅助函数，即可用>>=实现链式调用：

# 添加配料的高阶函数：接收配料，返回Burrito -> Burrito的转换函数
sub add-ingredient(Ingredient $ingr) {
    -> Burrito $b {
        Burrito.new(
            meat => $b.meat,
            ingredients => $b.ingredients.clone.push: $ingr
        )
    }
}

# 更换肉类的高阶函数
sub change-meat(Meat $new-meat) {
    -> Burrito $b {
        Burrito.new(
            meat => $new-meat,
            ingredients => $b.ingredients.clone
        )
    }
}

# 初始卷饼
my $base = Burrito.new(meat => Chicken, ingredients => []);

# 链式操作
my $loaded-burrito = $base
    >>= add-ingredient(Ingredient.new(name => "Rice"))
    >>= add-ingredient(Ingredient.new(name => "Black Beans"))
    >>= change-meat(Beef);

# 验证结果
say $loaded-burrito.meat; # 输出 Beef
say $loaded-burrito.ingredients».name; # 输出 (Rice Black Beans)

4. 通用Monad扩展（可选） #

如果需要让运算符支持更多Monad类型，可以用Raku的角色（Role）定义通用接口：

# 定义Monad角色，约定bind方法
role Monad {
    method bind(&f) { ... }
}

# 让Burrito实现Monad角色
class Burrito does Monad {
    has Meat $.meat;
    has @.ingredients;

    method bind(&transform) {
        transform(self);
    }
}

# 通用版>>=运算符，支持所有实现Monad角色的类型
sub infix:<>>=>(Monad $monad, &transform) is assoc<left> {
    $monad.bind(&transform);
}

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