From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Subject: Re: 64-bit unsigned integer?
Date: Thu, 1 Mar 2018 10:16:05 +0200
Date: 2018-03-01T10:16:05+02:00 [thread overview]
Message-ID: <ffpr62F1cdeU1@mid.individual.net> (raw)
In-Reply-To: <87muzsz6s2.fsf@nightsong.com>
On 18-03-01 07:47 , Paul Rubin wrote:
> "Randy Brukardt" <randy@rrsoftware.com> writes:
>> One of the main reason for the change to libraries is that we have a number
>> of requests to add additional numeric functionality (unlimited-size integers
>> ["bignum"], saturation math)
>
> I'd imagine that in the Ada world, machine integers should have a more
> primitive status than that of bignums.
As long as the new numeric libraries let us write computations using the
normal algebraic syntax (A * B + C), I have nothing against library
solutions.
> That's because bignum arithmetic
> can allocate hard-to-predict amounts of memory and take unknown runtime,
> in tension with Ada's emphasis on resource control and realtime
> predictability.
Following the trend set by recent Ada standard extensions, there could
be a "bounded" version of the "bignum" library.
--
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
. @ .
next prev parent reply other threads:[~2018-03-01 8:16 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 [this message]
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
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