我有一个小的Haskell程序,我很好奇为什么当我运行它(GHC 7.0.3)时会抛出被零除的异常。
import qualified Data.ByteString.Lazy as B
import Codec.Utils
convert :: B.ByteString -> [Octet]
convert bs = map (head . toTwosComp) $ B.unpack bs
main = putStrLn $ show $ convert $ B.pack [1, 2, 3, 4]
有人能帮我弄明白这是怎么回事吗?
发布于 2011-12-17 15:49:32
map (head . toTwosComp) [1, 2, 3, 4]
工作正常,同时
map (head . toTwosComp) $ B.unpack $ B.pack [1, 2, 3, 4]
导致您所描述的异常。让我们来看看有什么不同。
> :t [1, 2, 3, 4]
[1, 2, 3, 4] :: Num t => [t]
> :t unpack $ pack $ [1, 2, 3, 4]
unpack $ pack $ [1,2,3,4] :: [Word8]
Word8可能是导致问题的原因。让我们看看
> toTwosComp (1 :: Word8)
*** Exception: divide by zero
所以很明显,我们必须将Word8转换为其他整数类型。
> map (head . toTwosComp . fromIntegral) $ B.unpack $ B.pack [1, 2, 3, 4]
[1,2,3,4]
它起作用了!
https://stackoverflow.com/questions/8543352
复制相似问题