definire manualmente combinazione booleana

Question

In chapter 4 di Erik Meijer su Fondamenti di programmazione funzionale, scrive in sostanza:

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

Non è questo inutilmente verboso? Non potrei solo scrivere:

True &&& x = x 

o anche:

(&&&) True = id 

(&&&) False = const False   

A proposito, come mai non riesco a scrivere la seguente?

(True &&&) = id 

(False &&&) = const False   

ghci risponde con:

Parse error in pattern: True &&& 

Answer 1

Sì, il modo in cui si definisce è meglio. Da Preludio:

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

È possibile utilizzare solo le sezioni nelle espressioni, non nei modelli. Non c'è una ragione profonda per cui (True &&) non dovrebbe essere consentito in un modello. Ma è una cosa così rara da volere che non penso valga la pena la complicazione.