Haskell无点编译类型

Question

所以我对Haskell来说真的很新,但我正在玩点免费符号,并遇到了这个问题.我在控制台:

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

但是否定取一个数字,为​​什么它被约束为一个整数类型？

Answer 1

这是GHCi中扩展违约规则的另一个案例.做:set -XNoMonomorphismRestriction或做

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