From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: 64-bit unsigned integer?
Date: Thu, 1 Mar 2018 20:59:04 +0100
Date: 2018-03-01T20:59:04+01:00 [thread overview]
Message-ID: <p79m26$1vos$1@gioia.aioe.org> (raw)
In-Reply-To: 40f38dfc-d456-4c7c-a65b-8990483af0a3@googlegroups.com
On 2018-03-01 20:22, Dan'l Miller wrote:
> Dmitry Kazakov wrote:
>> Because a bounded-length number object will have the worst case length, always.
>
> Why would they be allocated as the humanly-imaginable worst-case for usage of the library?
Because the upper bound is exactly that, the humanly-imaginable worst case.
> Bounded textual strings are not allocated as the maximum universally-conceivable textual string length of megabytes long. Bounded simply means: pick a modest upper bound and stick to it, say, 128-bit integer for bounded bignum or 32-character string for bounded textual string.
Why 128 and not 256 or 1056781?
And note that all this a bit pointless in the discussion context, which
was about overflow checks. When the upper bound is known, then checks
are superfluous. Otherwise, there is no need to carry many digits
because you expect overflows occasionally.
So I prefer SPARK to guarantee absence of overflows and a more
reasonable support of modestly big ranges.
--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de
next prev parent reply other threads:[~2018-03-01 19:59 UTC|newest]
Thread overview: 36+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-25 12:30 64-bit unsigned integer? MM
2018-02-25 12:41 ` Dmitry A. Kazakov
2018-02-25 12:54 ` MM
2018-02-25 13:23 ` Dmitry A. Kazakov
2018-02-25 13:59 ` MM
2018-02-25 14:20 ` Dmitry A. Kazakov
2018-02-25 15:34 ` MM
2018-02-25 16:35 ` Jeffrey R. Carter
2018-02-25 16:36 ` Anh Vo
2018-02-25 17:31 ` MM
2018-02-26 23:19 ` Randy Brukardt
2018-02-26 23:33 ` MM
2018-02-28 10:17 ` Paul Rubin
2018-02-28 10:39 ` J-P. Rosen
2018-02-28 10:59 ` Dmitry A. Kazakov
2018-02-28 23:20 ` Randy Brukardt
2018-03-01 5:47 ` Paul Rubin
2018-03-01 8:16 ` Niklas Holsti
2018-03-01 8:35 ` Simon Wright
2018-03-01 8:47 ` Dmitry A. Kazakov
2018-03-01 18:15 ` Dan'l Miller
2018-03-01 19:10 ` Dmitry A. Kazakov
2018-03-01 19:22 ` Dan'l Miller
2018-03-01 19:59 ` Dmitry A. Kazakov [this message]
2018-03-01 20:32 ` Dan'l Miller
2018-03-01 21:15 ` Dmitry A. Kazakov
2018-03-01 22:23 ` Randy Brukardt
2018-03-01 23:50 ` Robert Eachus
2018-03-01 20:06 ` Niklas Holsti
2018-03-01 22:04 ` Randy Brukardt
2018-02-26 6:45 ` Robert Eachus
2018-02-27 16:40 ` Dan'l Miller
2018-02-27 17:18 ` J-P. Rosen
2018-02-27 18:17 ` Dan'l Miller
2018-02-28 3:03 ` Robert Eachus
2018-02-28 6:41 ` J-P. Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox