haskell的mod和rem到底有什么区别？

两个结果似乎都一样

当第二个论点是否定的时候，它们就不一样了：

是的，这些功能的作用是不同的。如官方文件所定义：

quot是整数除法，截断为零。

rem为整数余数，满足：

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

mod为整数模，满足：

当使用负数作为第二个参数且结果不是零时，您可以真正注意到差异：

nbsp；

实际上：

如果你知道两个操作数都是正的，你通常应该使用quot、rem或quotRem来提高效率。

如果你不知道两个操作数都是正的，你必须考虑一下你想要的结果是什么样子的。你可能不想要quotRem，但也可能不想要divMod。(x `div` y)*y + (x `mod` y) == x定律是一个很好的定律，但是向负无穷(knuth样式的除法)的四舍五入除法通常不如确保0 <= x `mod` y < y除法(欧几里得除法)有用且效率低。

如果您只想测试可分割性，那么应该始终使用rem。

本质上，x `mod` y == 0相当于x `rem` y == 0，但rem比mod快。