From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Any good package for mathematical function in Ada?
Date: Fri, 5 Jun 2020 17:49:45 -0500
Date: 2020-06-05T17:49:45-05:00 [thread overview]
Message-ID: <rbei6b$vg2$1@franka.jacob-sparre.dk> (raw)
In-Reply-To: rb2p52$qvl$1@gioia.aioe.org
"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message
news:rb2p52$qvl$1@gioia.aioe.org...
...
> As for GMP specifically, I think that arbitrary precision numeric types
> must be an integral part of Ada. Unfortunately, this would introduce same
> mess Unbounded_String did. So, for now, I would not push for them until
> the language type system mature to accommodate them smoothly.
You're a little late for that. See Big_Integer:
http://www.ada-auth.org/standards/2xrm/html/RM-A-5-6.html
and Big_Real:
http://www.ada-auth.org/standards/2xrm/html/RM-A-5-7.html
Since Ada 202x has user-defined literals and user-defined Image, this is
almost as good as a built-in number. The only downside would be using them
in generics (like GEF), but most of those implementations assume a maximum
precision that's not true for these so they'd need rewriting anyway.
Randy.
next prev parent reply other threads:[~2020-06-05 22:49 UTC|newest]
Thread overview: 18+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-05-31 10:46 Any good package for mathematical function in Ada? reinert
2020-05-31 11:26 ` Dmitry A. Kazakov
2020-06-01 8:17 ` reinert
2020-05-31 23:25 ` Jerry
2020-06-01 8:24 ` reinert
2020-06-01 10:19 ` Dmitry A. Kazakov
2020-06-01 10:48 ` Nasser M. Abbasi
2020-06-01 11:34 ` Dmitry A. Kazakov
2020-06-01 11:52 ` Nasser M. Abbasi
2020-06-01 13:37 ` Dmitry A. Kazakov
2020-06-02 1:48 ` Jerry
2020-06-05 22:49 ` Randy Brukardt [this message]
2020-06-05 22:54 ` Paul Rubin
2020-06-06 7:06 ` Dmitry A. Kazakov
2020-06-06 13:58 ` AdaMagica
2020-06-01 10:43 ` Dmitry A. Kazakov
2020-06-02 1:51 ` Jerry
2020-06-03 15:07 ` reinert
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox