tự xác định boolean kết hợp

Question

Trong chapter 4 của Erik Meijer trên nguyên tắc cơ bản lập trình chức năng, ông chủ yếu viết:

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

Đó không phải là không cần thiết verbose? Không thể tôi chỉ cần viết:

True &&& x = x 

hoặc thậm chí:

(&&&) True = id 

(&&&) False = const False   

Bằng cách này, làm thế nào mà tôi không thể viết như sau?

(True &&&) = id 

(False &&&) = const False   

ghci phản ứng với:

Parse error in pattern: True &&& 

Answer 1

Vâng, theo cách bạn định nghĩa nó là tốt hơn. Từ Prelude:

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

Bạn chỉ có thể sử dụng các phần trong biểu thức, không theo mẫu. Không có lý do sâu sắc tại sao không nên cho phép (True &&) trong mẫu. Nhưng đó là một điều hiếm hoi để muốn mà tôi không nghĩ rằng nó có giá trị phức tạp.