haskell - 为什么该Haskell程序会有所不同？

看起来[1,2,3]和[1..3]之间有一个奇怪的区别。

在以下代码上使用runghc会打印出一个“True”，然后永久挂起:为什么？ (我正在使用ghc 7.8.3)

module Main where

import Data.Functor((<$>))
import Data.Time.Clock(DiffTime)
import Data.Binary(Binary(..), encode, decode, Get)
import Data.Int(Int64)

instance Binary DiffTime where
  put x = put (truncate (x * 10^12) :: Int64)
  get = ((/ 10^12) . fromIntegral) <$> (get :: Get Int64)

prop_getput_difftime :: DiffTime -> Bool
prop_getput_difftime x = x == ((decode . encode $ x) :: DiffTime)

explicit :: [DiffTime]
explicit = [1,2,3,4,5,6,7,8,9,10]

elipsis :: [DiffTime]
elipsis = [1..10]

main :: IO ()
main = do
  print $ all prop_getput_difftime explicit
  print $ all prop_getput_difftime elipsis -- diverges!

注意，上面的DiffTime的Binary实现是错误的；但这不重要。

最佳答案

感谢#haskell的otulp，原因如下:

Prelude> take 3 [1..2] :: [Data.Time.DiffTime]
[1s,1.000000000001s,1.000000000002s]

发生这种情况是因为Enum的DiffTime实例

更改elipsis可以解决此问题:

elipsis = map fromIntegral ([1..10] :: [Int])

关于haskell - 为什么该Haskell程序会有所不同？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/27421598/