Haskell 无点编译类型

Question

所以我对 Haskell 真的很陌生，但我在使用无点符号时遇到了这个问题。我在控制台中:

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

但是 negate 需要一个 Number，那么为什么它被限制为 Integer 类型呢？

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