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

EN

模的语义与整数除法的语义相联系(通常情况下，如果Q是整数除法a / b的结果，R是a mod b的结果，则a = Q * b + R必须始终为真)，因此不同的整数除法对整数的舍入会产生不同的结果。

维基百科的文章模数运算有一个关于不同语言如何处理模块的非常广泛的表格。有几种常见的方法：

• 在C、Java、OCaml和许多其他语言中，整数除法循环为0，这使得模的结果总是具有与除数相同的符号。在这种情况下，派息(-1)是负的，所以模也是负(-1)。
• 在Python、Ruby和许多其他语言中，整数除法总是四舍五入(朝向负无穷大)，这导致模的结果始终与除数具有相同的符号。在这种情况下，除数(4)是正的，所以模也是正的(3)。