map的结果列表又多了一个

Question

在这个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选择输入is作为[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]这样定义的列表在其类型确定之前没有已知的长度。