手动定义布尔连接

Question

在 Erik Meijer 关于函数式编程基础知识的第 4 章，他基本上写道：

True  &&& x | x == True  = True
            | x == False = False

这不是不必要的冗长吗？我不能只写：

True  &&& x = x

甚至：

(&&&) True  = id

(&&&) False = const False          

顺便问一下，为什么我不能写以下内容？

(True  &&&) = id

(False &&&) = const False          

ghci 响应：

Parse error in pattern: True &&&

Answer 1

是的，你定义它的方式更好。前奏：

True  && x = x
False && _ = False

您只能在表达式中使用节，而不能在模式中使用节。没有什么深层次的原因说明为什么模式中不允许使用 (True &&) 。但这是一件非常罕见的事情，我认为不值得让事情变得复杂。