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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,b92b95c9b5585075
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail
From: Stephen Leake <stephen_leake@stephe-leake.org>
Newsgroups: comp.lang.ada
Subject: Re: Why use C++?
References: <fb9f787c-af06-427a-82b6-b0684e8dcbc5@s2g2000vby.googlegroups.com>
 	<j1kaj8$dge$1@adenine.netfront.net>
 	<1e292299-2cbe-4443-86f3-b19b8af50fff@c29g2000yqd.googlegroups.com>
 	<j1tha5$11q5$1@adenine.netfront.net>
 	<1fd0cc9b-859d-428e-b68a-11e34de84225@gz10g2000vbb.googlegroups.com>
 	<9ag33sFmuaU1@mid.individual.net> <j1v17b$h98$1@munin.nbi.dk>
 	<1d8wyhvpcmpkd.ggiui9vebmtl.dlg@40tude.net>
 	<j22c61$5lo$1@munin.nbi.dk>
 	<27gqrnht5c9d$.1trzrissr4mjn.dlg@40tude.net>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (windows-nt)
Date: Sat, 13 Aug 2011 04:08:37 -0400
Message-ID: <82d3g9zqbe.fsf@stephe-leake.org>
Cancel-Lock: sha1:20utBc7doAcqs9UMFq3n0aXcK6M=
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Complaints-To: abuse@flashnewsgroups.com
Organization: FlashNewsgroups.com
X-Trace: a9dcd4e4630fde029e66102136
Xref: g2news1.google.com comp.lang.ada:20593
Date: 2011-08-13T04:08:37-04:00
List-Id: <comp.lang.ada>

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

> On Fri, 12 Aug 2011 00:02:55 -0500, Randy Brukardt wrote:
>
>> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> wrote in message 
>> news:1d8wyhvpcmpkd.ggiui9vebmtl.dlg@40tude.net...
>
>>> As for modular types, wrapping is the mathematically correct behavior, it
>>> is not an error.
>> 
>> Right, but using modular types as a stand-in for unsigned integers doesn't 
>> really work.
>
> I never felt much need in unsigned integers, 

I use them all the time for event counters, that often can overflow in a
long-running system, so the wrapping behavior is important.

I agree it would be nice to declare other integer semantics and still
have literals.

-- 
-- Stephe