随着 macOS Big Sur 的正式推出，Bartender也迎来了 4.0 大版本更新。由于新的 macOS 系统在前端界面、底层代码等方面都有重大变化，Bartender 3 在 macOS Big Sur 无法正常工作，也是因为此 Bartender 4 进行全面的代码重构，并且只能在 macOS Big Sur 运行。 关联阅读：macOS Big Sur ...

在上一章中，我们了解了命题相等式，这使我们能够证明两个值相等。相等是值之间的关系，我们使用索引数据类型通过限制唯一数据构造函数中索引的自由度来编码这种关系。我们可以用这种方式编码其他关系和契约。这将允许我们限制我们接受作为函数参数 ...