[Haskell-cafe] Correct parsers for bounded integral values

[Brandon Allbery]

On Sun, Jul 20, 2025 at 2:45 PM Stefan Klinger <haskell at stefan-klinger.de>
wrote:

> Brandon Allbery (2025-Jul-20, excerpt):
> > If you are using a bounded `Integral` it is expected that you are
> > doing so because you value speed over correctness.
>
> No?  It is expected that I'm sure all my calculations fit within that
> type.  Doing things wrong quickly is pointless.
>

That still sounds more like `Z/n` than what restricted-range types are
intended for. They're isomorphic to machine-level operations, which aren't
bounds-checked.

-- 
brandon s allbery kf8nh
allbery.b at gmail.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20250720/c11a7069/attachment.html>