Haskellの `mod`と` rem`の違い

違いを正確に何であるmodとremHaskellのでは？

どちらも同じ結果になるようです

*Main> mod 2 3
2
*Main> rem 2 3
2
*Main> mod 10 5
0
*Main> rem 10 5
0
*Main> mod 1 0
*** Exception: divide by zero
*Main> rem 1 0
*** Exception: divide by zero
*Main> mod 1 (-1)
0
*Main> rem 1 (-1)
0

2番目の引数が負の場合、これらは同じではありません。

2 `mod` (-3)  ==  -1
2 `rem` (-3)  ==  2

はい、これらの機能は異なる動作をします。公式ドキュメントで定義されているように：

quot ゼロに向かって切り捨てられた整数除算です

rem 整数の剰余であり、次の条件を満たす。

(x `quot` y)*y + (x `rem` y) == x

div 負の無限大に向かって切り捨てられた整数除算です

mod 整数モジュラスであり、次の条件を満たす。

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

2番目のパラメーターとして負の数を使用し、結果がゼロではない場合、違いに本当に気付くことができます。

5 `mod` 3 == 2
5 `rem` 3 == 2

5 `mod` (-3) == -1
5 `rem` (-3) == 2

(-5) `mod` 3 == 1
(-5) `rem` 3 == -2

(-5) `mod` (-3) == -2
(-5) `rem` (-3) == -2

実際的に言えば：

あなたは両方のオペランドが正である知っている場合は、通常使用する必要がありますquot、remまたはquotRem効率のために。

両方のオペランドが正であることがわからない場合は、結果をどのようにするかを考える必要があります。あなたはおそらく望んquotRemでいないでしょうが、あなたも望んでいないかもしれませんdivMod。(x `div` y)*y + (x `mod` y) == x法律は非常に良いものですが、負の無限大（クヌーススタイル部門）に向け部門を丸くすることは、多くの場合、あまり有用とそれを保証するよりも効率が低い0 <= x `mod` y < y（ユークリッド除算を）。

分割可能性のみをテストする場合は、常にを使用する必要がありますrem。

基本的にx `mod` y == 0と同等ですがx `rem` y == 0、remより高速ですmod。