haskell - map 结果列表较长

Question

这个问题已经有答案了:

Why does map return an additional element when using ranges in Haskell? (1 个回答)

已关闭 7 年前。

在此 Haskell 示例中，结果有时比基本列表长 1。有什么线索吗？

Prelude> let x3 = [1,3..10]
Prelude> x3
[1,3,5,7,9]
Prelude> length x3
5
Prelude> length $ map (+1) x3
5
Prelude> length $ map (*3) x3
5
Prelude> length $ map (/2) x3
6
Prelude> length $ map (/1) x3
6
Prelude> length $ map (`div`1) x3
5
Prelude> map log x3
   [0.0,1.0986122886681098,1.6094379124341003
   ,1.9459101490553132,2.1972245773362196,2.3978952727983707]
Prelude> length it
6

Answer 1

正如 @duplode 所建议的，它与 .. 对浮点与整数的行为方式有关:

Prelude> let x3 = [1,3..10] :: [Double]
Prelude> length x3
6
Prelude> let x3 = [1,3..10] :: [Int]
Prelude> length x3
5

更新以响应评论...

ghci 中的定义如下:

let xs = [1,3..11]

是多态的。 .. 是 enumFromThenTo 函数的快捷方式:

let xs = enumFromThenTo 1 3 11

结果是多态的 - 上面的表达式具有类型:

ghci> :t xs
x3 :: (Enum t, Num t) => [t]

如果你只是打印出来，Haskell 选择输入 [Integer]，你会得到:

[1,3,5,7,9]

此处使用的是 enumFromThenTo 的整数版本。

但是，如果对列表应用浮点运算，Haskell 会将其解释为 [Double]，然后由于上述原因，它会变长一个元素:

ghci> map (+ 0.0) x3
[1.0,3.0,5.0,7.0,9.0,11.0]  -- length 6 now!

因此，map操作“更改”列表的长度只是因为它更改了对其类型的解释，从而改变了调用哪个enumFromThenTo函数来构造它。

结果:像 [1,3..11] 这样定义的列表在确定其类型之前不知道长度。