haskell - 手动定义 boolean 连接

Question

在 chapter 4 Erik Meijer 关于函数式编程基础，他基本上写道:

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 &&) 没有深层原因不应该在模式中被允许。但它是如此罕见，以至于我认为它不值得复杂化。