Compilazione haskell point-free

Question

Quindi sono davvero nuovo per Haskell, ma mi sono divertito con la notazione point free e ho trovato questo problema. Sono nella console:

> let c = (.)negate 
> :t c 
> (a -> Integer) -> a -> Integer -> a 

ma negare prende un numero, quindi perché è esso che è costretto a un tipo intero?

Answer 1

Questo è un altro caso delle regole predefinite estese in GHCi. Do :set -XNoMonomorphismRestriction o fare semplicemente

> :set +m -- multiline input in GHCi 
> let c :: (Num a) => (b -> a) -> b -> a -> b 
|  c = (.) negate 
| 
> :t c 
Num a => (b -> a) -> b -> a -> b