手动定义布尔连接

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 &&)不允许在一个模式中被允许.但是,这是一件非常罕见的事情,我认为这不值得复杂化.