Dlaczego mod daje inny wynik w wyrażeniu niż w wywołaniu funkcji?

Question

Say ktoś chce obliczyć funkcję:

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

Następnie, jeśli jedna rozszerza f (-1,0) ręcznie, dostaje:

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

Jeśli jednak używa funkcji inline, wynik jest:

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

Co dzieje się podczas zapisywania funkcji, która nie daje oczekiwanego rezultatu?

Zakładam, że to dlatego, że f używa Integral zamiast Int?

Answer 1

Wygląda na to, że jest to kwestia parsowania. -1 `mod` 3 zostanie przeanalizowany jako -(1 `mod` 3), a nie (-1) `mod` 3.

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

Szczerze mówiąc, sposób unarne - prace w Haskell jest bit hack, które ja osobiście uważam mylące. Jeśli naprawdę potrzebuję negatywnego dosłowności, zwykle dodaję dodatkowe nawiasy, żeby się upewnić.

Kolejną rzeczą wymagającą rozważenia jest to, że Haskell ma dwa funkcji modulo mod i rem, które traktują liczb ujemnych inaczej. Aby uzyskać więcej informacji, należy zapoznać się z innymi pytaniami na temat: thesetwo.