hàm hợp Generic trong Haskell

Question

Tôi đã đọc here, và tôi nhận thấy rằng, ví dụ, nếu tôi có các định nghĩa chức năng sau:

a :: Integer->Integer->Integer 
b :: Integer->Bool 

Các biểu thức sau đây là không hợp lệ:

(b . a) 2 3 

Khá lạ là các chức năng của bố cục phải có chỉ một tham số.

Hạn chế này có phải là do một số vấn đề trong việc xác định nguyên tắc chung nhất trong Haskell hoặc có lý do nào khác không?

Tôi mới sử dụng Haskell, vì vậy, tôi đang đặt ra những câu hỏi vô dụng.

Answer 1

Khi bạn làm a 2 3, bạn không áp dụng a đến 2 đối số. Bạn đang thực sự áp dụng a cho đối số duy nhất của nó, dẫn đến một hàm, sau đó lấy hàm đó và áp dụng nó cho 3. Vì vậy, bạn thực sự làm 2 ứng dụng. Vì vậy, trong một nghĩa nào đó, những gì bạn có không phải là tương đương với điều này:

a :: (Integer, Integer) -> Integer 
b :: Integer -> Integer 
(b . a) (2, 3) 

Bạn có thể đã làm điều này, btw

(b . a 2) 3