Haskell 有 Integral typeclass 包括 Integer、Int、Int32、Int64、Natural 等。
Purescript 中是否有类似的类型类？
最佳答案
我们在 PureScript 中没有任何特定于整数的类，但有数字类的层次结构:
每个类都添加了定律，因此尽管 CommutativeRing 和 Field 类没有任何操作，但它们并不是多余的。
任何 EuclideanRing 类型也满足积分域的定律，该定律概括了整数，所以我认为这应该适合您的需求。
字段具有非零乘法逆元:对于所有a和b，mod a b = 0，因此使用该约束将排除整数除法等的可能性，如果这就是您正在寻找的，所以您肯定不希望在层次结构中走得那么远。
关于integer - 是否有通用整数的 Purescript 类型类？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/37667240/