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”。