Haskell hat die Integral typeclass die Integer, Int, Int32, Int64, Natural usw.Gibt es eine Purescript-Typenklasse, die ganze Zahlen verallgemeinert?
Gibt es eine ähnliche typeclass in PURESCRIPT enthält?
Wir haben keine ganze Zahl spezifischen Klassen in PURESCRIPT, aber es gibt eine Hierarchie der numerischen Klassen:
Jede Klasse fügt Gesetze, so dass, obwohl die CommutativeRing und Field Klassen haben keine Operationen Sie sind nicht redundant.
Jeder Typ, der ein EuclideanRing ist, erfüllt auch die Gesetze für integrale Domänen, die ganze Zahlen verallgemeinern, also denke ich, dass sollte Ihren Bedürfnissen entsprechen.
Fields haben nicht Null multiplikativen Umkehrungen: mod a b = 0 für alle a und b, so dass die Einschränkung verwendet würde die Möglichkeit einer Integer-Division auszuschließen, usw. wenn das, was Sie suchen, so dass Sie definitiv nicht wollen, bis weit in die Hierarchie.