爲什麼函數組合需要括號？

Question

比方說，我想編寫Text.pack與Text.strip。

:t (.)生產：(b -> c) -> (a -> b) -> a -> c

:t (Text.pack)生產：String -> Text

:t (Text.strip)生產：Text -> Text

所以對於(b -> c)代strip給出： b = Text c = Text

代pack爲(a -> b)給出： a = String b = Text

讓我們驗證：:t strip . pack生產： strip . pack :: String -> Text

OK，讓偉大的嘗試：

strip.pack " example "

產地：

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 "按預期工作....爲什麼？

Answer 1

功能應用程序的優先級高於組合。

strip.pack " example "相當於strip.(pack " example ")。這就是爲什麼人們使用$「壓低」應用程序，直到之後的所有功能已經組成：

strip . pack $ " example  " 

Answer 2

功能的應用程序擁有的功能複合算一個更高的優先級。