Warum gibt Mod in einem Ausdruck ein anderes Ergebnis als in einem Funktionsaufruf?

Question

Say will man die Funktion berechnen:

f (x,y) = ((x `mod` 3)+(y `mod` 3)) `mod` 2 

Wenn dann ein f (-1,0) manuell erweitert wird, erhält man:

((-1 `mod` 3)+(0 `mod` 3)) `mod` 2 
1 

Wenn man jedoch eine Inline-Funktion verwendet, ist das Ergebnis:

let f (x,y) = ((x `mod` 3)+(y `mod` 3)) `mod` 2 in f (-1,0) 
0 

Was passiert beim Speichern der Funktion, die nicht das erwartete Ergebnis liefert?

Ich nehme an, das ist, weil fIntegral statt Int verwendet?

Answer 1

Sieht aus wie es ist eine Frage des Parsens. -1 `mod` 3 wird als -(1 `mod` 3) und nicht (-1) `mod` 3 geparst.

*Main> -(1 `mod` 3) 
-1 
*Main> (-1) `mod` 3 
2 

Ehrlich gesagt, die Art und Weise einstelligen - Werke in Haskell ist ein bisschen wie ein Hack, die ich persönlich verwirrend finden. Wenn ich wirklich ein negatives Literal brauche, füge ich normalerweise nur die zusätzlichen Klammern hinzu.

Eine andere Sache zu prüfen ist, dass Haskell zwei Modulo Funktionen, mod und rem, die unterschiedlich negative Zahlen zu behandeln. Weitere Details finden Sie unter thesetwo andere Fragen.