¿Por qué tanto el mapa (^ 2) xs como el mapa (2 ^) xs funcionan como se esperaba en Haskell?

Question

¿Por qué

map (^2) [1..10] 

trabajo y también

map (2^) [1..10] 

trabajo?

Espero que solo funcione con uno de ellos, no para ambos.

pensé mapa sería iterar sobre todos los elementos de [1..10] y luego hacer

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

para map (^2) [1..10]. Entonces esperaría que cuando se da map (2^) [1..10], arrojaría un error sintax o algo así, porque necesitaría los números después del ^, no antes.

Answer 1

La gramática Haskell tiene un apoyo especial para la construcción de este tipo, denominado "secciones de operador". Si tiene cualquier operador infijo, como dicen #$%, a continuación, la siguiente notación es compatible:

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

Por lo que esperan algo de consistencia matemática para romper esto, y si Haskell eran un lenguaje minúsculo como Forth, me inclinaría para estar de acuerdo con tu intuición La razón por la que funciona es básicamente "porque lo escribieron para que funcione así".

(se añadió también a reducir la ambigüedad - ¿significa f + xf aplica a dos argumentos, o significa + aplica a dos argumentos Ya que en realidad significa esto último, ¿cómo nos representamos la antigua Respuesta: usando? () para introducir una sección del operador.)

Answer 2

(2 ^) crea una nueva función que toma un parámetro e invoca (2^parámetro). Es una forma de curryfication.

Aquí hay un enlace con la teoría detrás de él: Partial Application(Haskell.org)

Answer 3

Haskell sabe que ^ es un operador infijo por lo que interpreta (en notación matemática) (2^) como f(x) = 2^x y (^2) como f(x) = x^2.