Perl6中的函数式编程：自定义操作符与高阶函数

### Perl 6 中的函数式编程：自定义操作符与高阶函数 #### 1. 自定义操作符 在编程中，我们可以创建新的操作符或重新定义现有操作符以适应新的类型。操作符有多种类型，具体如下： - **前缀操作符**：一元操作符，置于操作数之前，例如表达式 `-1` 中的负号。 - **后缀操作符**：一元操作符，置于操作数之后，例如数学阶乘符号 `5!`。 - **环绕操作符**：由两个符号置于操作数周围，例如括号 `(...)` 或尖括号 `<...>`。 - **后缀环绕操作符**：由两个符号置于一个操作数之后并环绕另一个操作数，例如 `@a[1]` 中的方括号。 声明新操作符时，通常需要指定其类型（前缀、后缀等），后跟冒号，再跟尖括号内的操作符符号或名称，最后是定义操作符的函数签名和主体。以下是一些示例： ```perl # 定义前缀 % 操作符 multi sub prefix:<%> (Int $x) { # double operator 2 * $x; } say % 21; # -> 42 # 定义后缀阶乘操作符 multi sub postfix:<!> (Int $n where $n >= 0) { [*] 2..$n; } say 5!; # -> 120 # 定义前缀 Σ 操作符 multi sub prefix:<Σ> (@*num-list) { [+] @num-list; } say Σ (10, 20, 12); # -> 42 ``` 新操作符的声明不一定要放在尖括号内，例如定义加法操作符可以有以下多种方式： ```plaintext infix:<+> infix:<<+>> infix:«+» infix:('+') infix:("+") ``` 还可以指定新操作符的优先级，示例如下： ```perl multi sub infix:<mult> is equiv(&infix:<*>) { ... } multi sub infix:<plus> is equiv(&infix:<+>) { ... } mutli sub infix:<zz> is tighter(&infix:<+>) { ... } mutli sub infix:<yy> is looser(&infix:<+>) { ... } ``` 此外，我们可以实现一些特殊的操作符，如 `:=:` 用于交换两个变量的值： ```perl multi sub infix:<:=:> ($a is rw, $b is rw) { ($a, $b) = $b, $a; } my ($c, $d) = 2, 5; say $c :=: $d; # -> (5 2) my @e = 1, 2, 4, 3, 5; @e[2] :=: @e[3]; say @e; # -> [1 2 3 4 5] ``` 再如 `⊕` 用于两个哈希的数学集合并集： ```perl multi sub infix:<⊕> (%a, %b) { my %c = %a; %c{$_} = %b{$_} for keys %b; return %c } my %q1 = jan => 1, feb => 2, mar => 3; my %q2 = apr => 4, may => 5, jun => 6; my %first_half = %q1 ⊕ %q2; say %first_half; # {apr => 4, feb => 2, jan => 1, jun => 6, mar => 3, may => 5} my %q3 = jul => 7, aug => 8, sep => 9; my %q4 = oct => 10, nov => 11, dec => 12; my %year = [⊕] %q1, %q2, %q3, %q4; say %year; # {apr => 4, aug => 8, dec => 12, feb => 2, jan => 1, # jul => 7, jun => 6, mar => 3, may => 5, nov => 11, # oct => 10, sep => 9} ``` #### 2. 自定义类似 map、grep 和排序的函数 ##### 2.1 自定义 map 函数 我们可以用纯 Perl 重写 `map` 函数，示例代码如下： ```perl sub my-map (&code, @values) { my @temp; push @temp, &code($_) for @values; return @temp; } my @result = my-map { $_ * 2 }, 1..5; say @result; # -> [2 4 6 8 10] ``` ##### 2.2 自定义 grep 函数 自定