composición función genérica en Haskell

Question

estaba leyendo here, y dio cuenta de que, por ejemplo, si tengo las siguientes definiciones de las funciones:

a :: Integer->Integer->Integer 
b :: Integer->Bool 

La siguiente expresión es inválida:

(b . a) 2 3 

Es bastante extraño que las funciones de la composición solo tengan un parámetro.

¿Es esta restricción debido a algún problema al definir la más genérica en Haskell o por algún otro motivo?

Soy nuevo en Haskell, así que estoy haciendo preguntas tal vez inútiles.

Answer 1

Cuando hace a 2 3, no está aplicando a a 2 argumentos. En realidad, estás aplicando a a su único argumento, lo que da como resultado una función, luego tomas esa función y la aplicas a 3. Entonces realmente haces 2 aplicaciones. Por lo tanto, en cierto sentido, lo que tiene no es equivalente a esto:

a :: (Integer, Integer) -> Integer 
b :: Integer -> Integer 
(b . a) (2, 3) 

Podrías haber hecho esto, por cierto

(b . a 2) 3