python - OCaml mod 函数返回与 % 不同的结果

Question

OCaml mod 中的取模函数返回的结果与 python 中的取模运算符不同。

OCaml:

# -1 mod 4
- : int = -1

python :

>>> -1 % 4
3

为什么结果不一样？

在 OCaml 中是否有作为 % 操作的任何标准模块函数？

Answer 1

Python 在 % 运算符的使用上有点不同，它真正计算两个值的模，而其他编程语言计算余数 使用相同的运算符。比如在Scheme中区分的很清楚:

(modulo -1 4)    ; modulo
=> 3
(remainder -1 4) ; remainder
=> -1

在 Python 中:

-1 % 4           # modulo
=> 3
math.fmod(-1, 4) # remainder
=> -1

但在 OCaml 中，只有 mod(计算整数 余数)，根据 table如 documentation 中所述:

-1 mod 4 (* remainder *)
=> -1

当然，您可以根据余数实现自己的模操作，如下所示:

let modulo x y =
  let result = x mod y in
  if result >= 0 then result
  else result + y