Re: Correct parsers for bounded integral values
Brandon Allbery <[email protected]> Sun, 20 Jul 2025 14:50:06 -0400
| Newsgroups | gmane.comp.lang.haskell.cafe |
|---|---|
| Message-ID | <CAKFCL4VQx9z-J3U_YK1rEAK+bDmaJQ3U=Dp_u2BmcC=1hiq1YQ@mail.gmail.com> |
On Sun, Jul 20, 2025 at 2:45 PM Stefan Klinger <[email protected]> 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 [email protected] _______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.