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选择输入为[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操作＆＃34;更改＆＃34;列表的长度只是因为它改变了对其类型的解释，这种解释改变了enumFromThenTo函数被调用来构造它。

Upshot：定义类似[1,3..11]的列表在确定其类型之前没有已知的长度。

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

1 个答案: