Perché entrambe le mappe (^ 2) xs e map (2 ^) xs funzionano come previsto in Haskell?

Question

Perché

map (^2) [1..10] 

lavoro e anche

map (2^) [1..10] 

lavoro?

Mi aspetterei che funzioni solo con uno di essi, non con entrambi.

ho pensato mappa sarebbe iterare su tutti gli elementi di [1..10] e poi fare

[1^2, 2^2, 3^2, ...] 

per map (^2) [1..10]. Quindi mi aspetto che quando viene dato map (2^) [1..10], potrebbe produrre un errore di sintassi o qualcosa del genere, perché avrebbe bisogno che i numeri fossero dopo lo ^, non prima.

Answer 1

La grammatica Haskell ha un supporto speciale per costrutto come questo, chiamato "sezioni operatore". Se avete qualche operatore infisso, come dire #$%, quindi la seguente notazione è supportato:

(#$%) = \x y -> x #$% y 
(#$% y) = \x -> x #$% y 
(x #$%) = \y -> x #$% y 

Quindi ci si aspetta un po 'di consistenza matematica di rompere questo, e se Haskell fosse una lingua minuscolo come Forth, sarei propenso essere d'accordo con la tua intuizione Il motivo per cui funziona è fondamentalmente "perché l'hanno scritto per funzionare così".

(E 'stato aggiunto anche a ridurre l'ambiguità - vuol f + x significa f applicata a due argomenti, o significa + applicata a due argomenti Dal momento che in realtà significa quest'ultima, come facciamo noi rappresentiamo l'ex Risposta: utilizzando? () per introdurre una sezione operatore.)

Answer 2

(2 ^) crea una nuova funzione che accetta un parametro e invoca (2^parametro). È un modo di curryfication.

Ecco un link con la teoria dietro di esso: Partial Application(Haskell.org)

Answer 3

Haskell sa che ^ è un operatore infisso così interpreta (in notazione matematica) (2^) come f(x) = 2^x e (^2) come f(x) = x^2.