如何在Perl6中定义⊤（下钉符）为程序可使用的常量

在Perl 6里给你这套逻辑运算符体系加上⊤（表示“真”的逻辑常量）非常直接，我给你推荐两种最实用的方案：

1. 直接用constant声明常量（推荐） #

这是最符合逻辑常量定位的实现方式，直接把⊤绑定到Perl 6内置的True值，不可修改，完全适配你已有的所有逻辑运算符：

constant ⊤ = True;

你可以直接在代码里像使用普通布尔值一样用它，比如：

# 测试示例
constant ⊤ = True;
multi sub prefix:<¬> ($n) { return not $n; }
multi sub infix:<∧> ($n, $b) { return ($n and $b); }
multi sub infix:<∨> ($n, $b) { return ($n or $b); }
multi sub infix:<⇒> ($n, $b) { 
    if $n == True and $b == True { return True; } 
    elsif $n == True and $b == False { return False; } 
    elsif $n == False { return True; } 
}
multi sub infix:<⇔> ($n, $b) { return $b ⇒ $n; } # 修正了你原代码里的运算符名拼写问题

say ⊤;               # 输出: True
say ⊤ ∧ False;       # 输出: False
say ⊤ ⇒ False;       # 输出: False
say ¬⊤;              # 输出: False
say ⊤ ⇔ True;        # 输出: True

2. 定义前缀子例程（可选） #

如果你希望⊤的使用风格和你定义的¬等前缀运算符保持一致，也可以把它做成一个无参数的前缀子例程，但这种方式本质是函数调用，而非真正的常量：

multi sub prefix:<⊤> { return True; }

使用的时候需要写成⊤()或者直接⊤（Perl 6允许省略无参数子例程的括号），比如say ⊤;同样会输出True，但相比常量，这种方式每次使用都会触发函数调用，性能上略逊于直接的常量绑定，所以更推荐第一种方案。

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