Tại sao thành phần chức năng yêu cầu dấu ngoặc đơn?

Question

Giả sử tôi muốn soạn Text.pack với Text.strip.

:t (.) sản xuất: (b -> c) -> (a -> b) -> a -> c

:t (Text.pack) sản xuất: String -> Text

:t (Text.strip) sản xuất: Text -> Text

Vì vậy, thay strip cho (b -> c) cho: b = Text c = Text

Thay pack cho (a -> b) cho: a = String b = Text

Cho phép xác minh: :t strip . pack sản xuất: strip . pack :: String -> Text

ok, tuyệt vời cho phép thử nó:

strip.pack " example "

Tạo:

Couldn't match expected type ‘a -> Text’ with actual type ‘Text’ 
Relevant bindings include 
    it :: a -> Text (bound at <interactive>:31:1) 
Possible cause: ‘pack’ is applied to too many arguments 
In the second argument of ‘(.)’, namely ‘pack " example  "’ 
In the expression: strip . pack " example  " 

(strip . pack) " example " hoạt động như dự kiến ​​.... tại sao?

Answer 1

Ứng dụng chức năng có mức độ ưu tiên cao hơn so với bố cục.

strip.pack " example " tương đương với strip.(pack " example "). Đây là một lý do tại sao mọi người sử dụng $ để "ngăn chặn" ứng dụng cho đến khi sau khi tất cả các chức năng đã được bao gồm:

strip . pack $ " example  " 

Answer 2

ứng dụng Chức năng có độ ưu tiên cao hơn toán tử hàm hợp.