[Haskell-cafe] Correct parsers for bounded integral values

Jeff Clites jclites at mac.com
Mon Jul 21 00:24:47 UTC 2025


> On Jul 20, 2025, at 9:43 AM, Brandon Allbery <allbery.b at gmail.com> wrote:
> 
> I would like to point out that if you want correctness, you should use `Integer`. If you are using a bounded `Integral` it is expected that you are doing so because you value speed over correctness. They are _not_ `Z/n`, they are hardware values that have little to do with formal mathematics.

But aren't they de-facto modular integers?

Jeff


More information about the Haskell-Cafe mailing list