Clean 中的模函数

Question

是否有预定义的方法来计算 Clean 中两个整数的模数？

StdOverloaded 定义了 (mod) 类型类，但 StdInt 不包含它的实例，StdEnv 也不包含其他任何地方。 我看过关于 Clean 2.0 版的语言概述，其中提到了 StdInt 的 mod 实例，但在 2.4 中，它肯定是缺失的。

Answer 1

StdInt 提供了另一种选择：它称为 rem。 就像老式的 mod 函数一样工作，但也适用于有符号整数。

10 rem 7 // 3

10 rem -7 // 3

-10 rem 7 // -3

-10 rem -7 //-3

Answer 2

在最新的稳定版本 (Clean 3.0) 中，只需导入 StdEnv 实例就可以使用“rem”。