地图的结果列表是一个更长的

Question

在这个Haskell示例中,结果有时比基本列表长一个.有什么线索吗？

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 as [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]在确定其类型之前不知道长度。