From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!feeder.eternal-september.org!news.mixmin.net!weretis.net!feeder4.news.weretis.net!news.szaf.org!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: 64-bit unsigned integer?
Date: Thu, 1 Mar 2018 22:06:18 +0200
Organization: Tidorum Ltd
Message-ID: <ffr4prFas9oU1@mid.individual.net>
References: <e8c6d243-b919-4fc5-a6dc-aeb5e2042be9@googlegroups.com>
 <421d1598-68d7-4d0b-b596-6e9c59cf865c@googlegroups.com>
 <a0147c10-775c-49bf-a0e7-2091f31ac11a@googlegroups.com>
 <p724lq$2na$1@franka.jacob-sparre.dk> <877eqxe7u8.fsf@nightsong.com>
 <p77dgq$i6o$1@franka.jacob-sparre.dk> <87muzsz6s2.fsf@nightsong.com>
 <ffpr62F1cdeU1@mid.individual.net> <p78em8$1jfi$2@gioia.aioe.org>
 <628c3bba-6c0d-495b-be2f-e6ed3ef3418f@googlegroups.com>
 <p79j6u$1qn0$1@gioia.aioe.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net 5rTWe2QoXvIlzUkRRvZUIgY7u/B9oBZXjbW7cgeuRyQplmDpF1
Cancel-Lock: sha1:lyQvutoCmn7h7gZH6wDUmOnULPg=
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.8; rv:45.0)
 Gecko/20100101 Thunderbird/45.8.0
In-Reply-To: <p79j6u$1qn0$1@gioia.aioe.org>
Xref: reader02.eternal-september.org comp.lang.ada:50766
Date: 2018-03-01T22:06:18+02:00
List-Id: <comp.lang.ada>

On 18-03-01 21:10 , Dmitry A. Kazakov wrote:
> On 2018-03-01 19:15, Dan'l Miller wrote:
>> Dmitry A. Kazakov wrote:
>>> That replaces unpredictable penalty with a predictably prohibitive one.
>>
>> Why is it prohibitive?
>
> Because a bounded-length number object will have the worst case length,
> always. E.g. 100 x 64-bit words. Each elementary operation will take
> 1600 bytes from the stack and return 800 bytes back. This is certainly
> not for a small embedded/real-time target.
>
> But surely any range must be supported regardless the target hardware.
> Why invent a bicycle? Just allow
>
>    type Big is range -2**6399..2**6399-1;

I agree that such a built-in, non-library solution would be preferable 
from the programmer's point of view. But it could have consequences in 
other parts of the language which depend on the size of the largest 
integer type, and that could make it harder for a compiler to support 
the above form than to support a "bignum" library, bounded or unbounded.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .