Re: Any good package for mathematical function in Ada?

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On 06/06/2020 00:54, Paul Rubin wrote:
> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:
>> 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.
> 
> What happened with Unbounded_String if you don't mind telling the story?
> I wasn't around for it.

Unbounded_String is not string and not array, end of story.

> I can see why unbounded strings and numbers could be a problem for Ada,
> but that's because of storage management consequences, not the type
> system.

No, it is the type system. Randy posted links to the drafts for 
unbounded integer and real. Same story. They are not numbers. As a 
consequence you have no conversions to/from legal numeric types, you 
need to instantiate generics. They do not match formal numeric types in 
generics. They have no attributes (some of which would have no sense 
anyway).

In essence the problem is that numeric types have no explicit interface 
a private type could implement.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de