'mod'和haskell中的-1

Question

怎麼接下來的那塊給4？

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

Answer 1

-1 modulo 5是根據定義，4.

Answer 2

由於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 

我根本不記得了，就太草率來關注一下吧。 「會做一個整數除法。