我刚开始学习 Haskell,发现了一件奇怪的事情。
让我们有一个 list :
ghci> [0,2..5]
[0,2,4]
它有3个元素。当我使用
map
使用此列表,我得到 3 个元素作为输出,例如:ghci> map (+ 1) [0,2..5]
[1,3,5]
ghci> map (* 2) [0,2..5]
[0,4,8]
ghci> map (`div` 2) [0,2..5]
[0,1,2]
但是当我使用小数除法时,我在输出列表中得到 4 个元素:
ghci> map (/ 2) [0,2..5]
[0.0,1.0,2.0,3.0]
ghci> length (map (/ 2) [0,2..5])
4
你能解释一下为什么
map
可能会返回更多元素吗?谢谢!
最佳答案
这是由于 Enum
的实现对于 Float
和 Double
:
> [0,2..5] :: [Float]
[0.0,2.0,4.0,6.0]
这不是
map
这样做,但是 Float
.具体来说,如果您调用 enumFromThenTo 0 2 5 :: [Float]
,您将获得相同的列表。对于 Double
,您将看到相同的结果。 .the haskell report 中暗示了这一点,但这种行为绝对是不明显的。本质上,它归结为
numericEnumFromThenTo
的实现。 (我们在这里进入一些 Haskell 内部),它被 Enum Float
使用。实例:numericEnumFromThenTo n n' m = takeWhile p (numericEnumFromThen n n')
where
p | n' >= n = (<= m + (n' - n) / 2)
| otherwise = (>= m + (n' - n) / 2)
numericEnumFromThen n m = iterate (+ (m - n)) n
所以你有
numericEnumFromThen 0.0 2.0
生成列表 [0.0,2.0,4.0,6.0,8.0,...]
, 然后你做 takeWhile p
在那,在这种情况下相当于函数\x -> x <= 5.0 + (2.0 - 0.0) / 2
,或更简单的 \x -> x <= 6.0
,这就是为什么 6.0
包含在 [0.0,2.0..5.0]
的输出列表中.我无法解释为什么以这种方式实现它,这对我来说也很困惑,但希望我已经回答了它的实现方式。
关于haskell - 为什么在 Haskell 中使用范围时 map 会返回一个附加元素?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/32364887/