-1 を 10 で割ったあまりは？

どう書く？org のこのお題，はじめはHaskellで書いた。

modular n l h = l + n `mod` (h - l + 1)

すでに投稿があったのでOCamlで書き直したんだけど，そのまま移植したんではうまくいかない。

# let modular n l h = l + n mod (h - l + 1);;
val modular : int -> int -> int -> int = <fun>
# modular (-1) 100 200;;
- : int = 99

しばらく悩んだけど，要するに mod の引数に負数が現れた場合の振る舞いが Haskell と OCaml で違う。思わぬ盲点だよな。

Haskellの場合：

Prelude> mod (-1) 10
9
Prelude> mod 1 (-10)
-9

OCamlの場合：

# (-1) mod 10;;
- : int = -1
# 1 mod (-10);;
- : int = 1

さて，算術的にはどっちが正しいんだろうか。