在检查不同整数类型的大小( 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 中,我会得到正确的结果。
那么为什么我会得到错误的结果呢?
最佳答案
令人困惑的是,这仍然是单态限制在起作用(或者更确切地说,在 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]
关于haskell - ghci - 默认混淆,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/42233527/