haskell - 有人可以在 Haskell 中向我解释这种 Integer 模块化行为吗？

Question

*Test> ((3^40) `mod` 3) :: Int
2
*Test> ((3^40) `mod` 3)
0

为什么会这样？我正在使用 GHCi 7.0.3。如果这不是错误，请解释 Integral/Int 如何在 haskell 中工作，或提供解释链接。

谢谢。

Answer 1

你只是超出范围，3^40数字太大，甚至无法放入 64 位 int:

Prelude> 3^40 :: Int
-6289078614652622815
Prelude> 3^40 :: Integer
12157665459056928801

Integer另一方面， type 是无界的，并且无论大小都接受所有数字。在第二种情况下(你得到 0 结果)你得到一个类型 Integer推断。