generica composizione funzione in Haskell

Question

mi leggeva here, e ho notato che, per esempio, se ho le seguenti definizioni di funzione:

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

La seguente espressione è valida:

(b . a) 2 3 

È piuttosto strano che le funzioni della composizione debbano avere un solo parametro.

Questa restrizione è dovuta a qualche problema nella definizione del più generico in Haskell o per altri motivi?

Sono nuovo di Haskell, quindi sto facendo domande forse inutili.

Answer 1

Quando si esegue a 2 3, non si sta applicando a a 2 argomenti. In pratica stai applicando a al solo argomento, dando come risultato una funzione, quindi prendi quella funzione e applicala a 3. Quindi esegui effettivamente 2 applicazioni. Quindi, in un certo senso, quello che hai non è equivalente a questo:

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

Si potrebbe aver fatto questo, btw

(b . a 2) 3