haskell中负数int的除法规则是什么？

Question

在GHCI中，我得到了以下结果：

div (-7) ( 2) = -4
div ( 7) (-2) = -4
div (-7) (-2) =  3

mod ( 7)  ( 2) =  1
mod ( 7)  (-2) = -1
mod (-7)  ( 2) =  1
mod (-7)  (-2) = -1

和div 4 (-3)是-2，而mod 4 (-3)是-2。

我无法理解如何获得这些结果。有一些法律或规则吗？什么是正确的计算步骤？

Answer 1

通常首先查看文档是个好主意。对于mod函数，我们看到：

mod :: a -> a -> a

整数模数，令人满意

(x `div` y)*y + (x `mod` y) == x

所以x `mod` y计算如下：

mod x y = x - y * (div x y) -- logically equivalent definition

和：

div :: a -> a -> a

整数除法被截断为负无穷大。

因此，如果分裂是-3.5，div将返回-4。

所以：

mod 7 2       = 7 - 2*(div 7 2)         = 7 - 2 * 3       = 7 - 6    = 1
mod 7 (-2)    = 7 - (-2)*(div 7 (-2))   = 7 - (-2) * (-4) = 7 - 8    = -1
mod (-7) 2    = (-7) - 2 * (div (-7) 2) = (-7) - 2 * (-4) = (-7) + 8 = 1
mod (-7) (-2) = (-7) - (-2) * (div (-7) (-2)) = -7 - (-2) * 3 = -7 + 6 = -1