integer - 是否有通用整数的 Purescript 类型类？

Question

Haskell 有 Integral typeclass 包括 Integer、Int、Int32、Int64、Natural 等。

Purescript 中是否有类似的类型类？

Answer 1

我们在 PureScript 中没有任何特定于整数的类，但有数字类的层次结构:

每个类都添加了定律，因此尽管 CommutativeRing 和 Field 类没有任何操作，但它们并不是多余的。

任何 EuclideanRing 类型也满足积分域的定律，该定律概括了整数，所以我认为这应该适合您的需求。

字段具有非零乘法逆元:对于所有a和b，mod a b = 0，因此使用该约束将排除整数除法等的可能性，如果这就是您正在寻找的，所以您肯定不希望在层次结构中走得那么远。