如何修改自定义中缀运算符%%%的编译逻辑以预处理操作数？

现有如下Raku代码：

use Something;

sub infix:<%%%>(*@args) is assoc("list") { [*] @args }

say 9 %%% 10;
say 9 %%% 10 %%% -44; 

当前运算符%%%的逻辑是对操作数执行累乘。希望修改后，编译时将每个操作数按规则预处理：若为奇数则替换为3*$_+1，若为偶数则替换为自身的一半，使得第一条say语句编译为say 28 %%% 5;，第二条编译为say 28 %%% 5 %%% -22;。

请问需在use Something;对应的模块中做什么来实现该功能？

要实现编译时预处理操作数的需求，需在Something模块中定义**宏（Macro）**替换原有的infix:<%%%>运算符——宏能够在编译阶段捕获并修改语法树节点，正好匹配编译时处理的要求。具体实现如下：

模块代码（Something.rakumod） #

unit module Something;

# 定义宏版本的运算符，负责编译时预处理操作数
macro infix:<%%%>($lhs, $rhs) is assoc("list") {
    # 编译时处理左操作数
    my $processed-lhs = do given $lhs.value {
        when * %% 2 { quasi { {{$lhs}} div 2 } }
        when * !%% 2 { quasi { 3 * {{$lhs}} + 1 } }
    }
    # 编译时处理右操作数
    my $processed-rhs = do given $rhs.value {
        when * %% 2 { quasi { {{$rhs}} div 2 } }
        when * !%% 2 { quasi { 3 * {{$rhs}} + 1 } }
    }
    # 生成预处理后的运算符调用语法树
    quasi { {{$processed-lhs}} %%% {{$processed-rhs}} }
}

# 保留原有的累乘逻辑，宏最终会调用该子例程完成计算
sub infix:<%%%>(*@args) is assoc("list") { [*] @args }

关键说明 #

• 宏的is assoc("list")属性与原运算符保持一致，保证链式调用的结合逻辑正确
• quasi块用于构建新的语法树，{{...}}语法用于嵌入原有的语法节点或编译时计算的值
• $lhs.value和$rhs.value会在编译阶段直接求值操作数，从而判断奇偶性并生成对应的替换表达式
• 链式调用（如9 %%% 10 %%% -44）会被宏从左到右依次处理：先将9 %%%10转换为28 %%%5，再将该结果与-44处理为28 %%%5 %%%-22，完全符合需求

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