在玩 Haskell 交互式提示 (ghci) 时,我遇到了一些我觉得很好奇的东西。以下代码在 ghci 7.0.4 下运行
[minBound..1]
抛出以下异常:
<interactive>:1:12:
Ambiguous type variable `t0' in the constraints:
(Num t0) arising from the literal `1' at <interactive>:1:12
(Enum t0) arising from the arithmetic sequence `minBound .. 1'
at <interactive>:1:1-13
(Bounded t0) arising from a use of `minBound'
at <interactive>:1:2-9
Probable fix: add a type signature that fixes these type variable(s)
In the expression: 1
In the expression: [minBound .. 1]
In an equation for `it': it = [minBound .. 1]
我知道将上面的内容写为 [minBound..1 :: Int] 会清楚地表明这里的 '1' 是一个Int,但我的问题是,歧义在哪里?'1' 可以解释为Int、Integer、Float或Double,但除了Int之外,这些都不属于Bounded类。那么文字 1 是否可以伪装成另一个类?如果不是,那又如何?