haskell - ghci - 默认混淆

Question

在检查不同整数类型的大小( minBound 、 maxBound )和“十进制表示的长度”时，我碰巧看到了一些奇怪的行为。

使用 GHCi:

Prelude> :{
Prelude| let mi = minBound
Prelude|     ma = maxBound
Prelude|     le = fromIntegral $ length $ show ma
Prelude|  in [mi,ma,le] :: [Int]
Prelude| :}
[-9223372036854775808,922372036854775807,2]
                                         ^

在我期望的最后一个位置 19 .

我的第一个猜测是 maxBound默认为 ()从而产生 2 ，但我不明白，因为 ma应该是 Int通过显式类型注释( :: [Int] ) - 并通过引用透明所有名为 ma 的符号应该是平等的。

如果我将上面的语句放在一个文件中并将其加载到 GHCi 中，我会得到正确的结果。

那么为什么我会得到错误的结果呢？

Answer 1

令人困惑的是，这仍然是单态限制在起作用(或者更确切地说，在 GHCi 中缺乏单态限制)。由于 GHCi 没有启用单态限制，您对 mi 的定义和 ma不要专攻Int正如您认为的那样 - 相反，它们保持一般性 mi, ma :: Bounded a => a和 a变量被实例化两次

曾经为 ()在 fromIntegral $ length $ show ma (如您所见，这是默认设置)

曾经为 Int在 [mi,ma,le] :: [Int]

如果你想要 mi和 ma实际上是 Int 类型, 直接注释它们

Prelude> :{
Prelude| let mi, ma :: Int
Prelude|     mi = minBound
Prelude|     ma = maxBound
Prelude|     le = fromIntegral $ length $ show ma
Prelude|  in [mi,ma,le]
Prelude| :}
[-9223372036854775808,9223372036854775807,19]

或者在 GHCi 中手动开启单态限制

Prelude> :set -XMonomorphismRestriction
Prelude> :{
Prelude| let mi = minBound
Prelude|     ma = maxBound
Prelude|     le = fromIntegral $ length $ show ma
Prelude| in [mi,ma,le] :: [Int]
Prelude| :}
[-9223372036854775808,9223372036854775807,19]