haskell中的'mod'和-1 [重复]

Question

这个问题已经在这里有了答案：

• 积分运算符quot vs.div 2答案

接下来的那张为什么给出4？

(\x -> (x-1) `mod` 5) 0

Answer 1

因为mod被定义为正数。 div和mod是按层操作的，而/和rem则不是。

Prelude> let x=(-2)
Prelude> let y=5
Prelude> (x`div`y)*y+(x`mod`y)
-2
Prelude> y*(truncate ((fromInteger x)/fromInteger y)) + (x`rem`y)
-2
Prelude> x`rem`y
-2
Prelude> x`mod`y
3
Prelude> (fromInteger x)/fromInteger y
-0.4
Prelude> x`div`y
-1

附录：正如KennyTM正确指出的那样，我应该使用quot，而不是/：

Prelude> (x`quot`y)*y+(x`rem`y)
-2
Prelude> (x`quot`y)
0

我根本不记得它了，太急于查找它。 quot将进行整数除法。

Answer 2

-1 模 5定义为4。