どう書く?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
さて,算術的にはどっちが正しいんだろうか。