Kompilacja bez punktu Haskella typu

Question

Tak więc jestem naprawdę nowy dla Haskella, ale grałem z notacją punktową i natrafiłem na ten problem. Jestem w konsoli:

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

ale negate bierze numer, więc dlaczego jest ograniczony do typu Integer?

Answer 1

Jest to kolejny przypadek rozszerzonych reguł dotyczących niewykonania zobowiązań w GHCi. Wykonaj :set -XNoMonomorphismRestriction lub po prostu wykonaj:

> :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