Applicazione di argomenti di funzionare composizione in Haskell

Question

Essendo un novizio di Haskell non riesco a capire il motivo per cui l'espressione head . words “one two three four” lancia una composizione un'eccezione e la funzione head . words deve essere applicato con $ operatore - l'espressione a destra di esso non lo fa bisogno di ulteriore valutazione perché è solo un singolo String. L'altro modo per compilarlo è mettere head . words tra parentesi ma lo (head . words) :: String -> String ha lo stesso tipo di head . words :: String -> String quindi perché metterlo tra parentesi rende l'espressione compilare?

Answer 1

A causa delle regole di precedenza. L'applicazione ha la precedenza più alta; $ - il più basso.

head . words “one two three four” viene analizzato come head . (words “one two three four”) cioè words applicato su una stringa deve produrre una funzione (come richiesto dalla (.)). Ma non è il tipo che ha words:

Prelude> :t words 
words :: String -> [String] 

head . words $ “one two three four” d'altra parte, è analizzato come (head . words) “one two three four” ei tipi di attacco.