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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ba0587ecc5989bed
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-03-29 03:31:30 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!cpk-news-hub1.bbnplanet.com!nycmny1-snh1.gtei.net!chcgil2-snf1.gtei.net!news.gtei.net!news.binc.net!kilgallen
From: Kilgallen@SpamCop.net (Larry Kilgallen)
Newsgroups: comp.lang.ada
Subject: Re: Another problem with stream reading.
Date: 29 Mar 2002 05:30:59 -0600
Organization: LJK Software
Message-ID: <BM$h1dY1PyDK@eisner.encompasserve.org>
References: <mailman.1017082205.9199.comp.lang.ada@ada.eu.org>
 <3CA0B5C4.2060804@home.com>
 <mailman.1017244142.7106.comp.lang.ada@ada.eu.org>
 <ua4mt7p1nif778@corp.supernews.com> <a7vceg$lto$1@nh.pace.co.uk>
NNTP-Posting-Host: eisner.encompasserve.org
X-Trace: grandcanyon.binc.net 1017401461 18297 192.135.80.34 (29 Mar 2002
 11:31:01 GMT)
X-Complaints-To: abuse@binc.net
NNTP-Posting-Date: Fri, 29 Mar 2002 11:31:01 +0000 (UTC)
Xref: archiver1.google.com comp.lang.ada:21823
Date: 2002-03-29T05:30:59-06:00
List-Id: <comp.lang.ada>

In article <a7vceg$lto$1@nh.pace.co.uk>, "Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org> writes:
> Unsigned integers for Ada0y might be interesting, but I'm not sure what you
> would do with them that you can't already do with modular types. If you need
> a 32 bit unsigned that doesn't have the base type problem, you can get that
> with a modular type. Is it that one might want overflow & underflow rather
> than wraparound semantics? If that's the case, I'd think it would be nice to
> have numeric types that saturate as well.
> 
> One of Ada's strengths is that it can describe in detail the exact needs of
> a given data type. Perhaps adding unsigned integers (and math types that
> saturate) would add to that strength. Arguing that you can get there from
> here by just doing blah blah blah is interesting, but not necessarily
> compelling. Its always nice to have direct language support for a feature
> that is likely to see a lot of use.

What would be compelling is real-world of experience of how useful the
blah blah blah version has been, or the experimental version of GNAT.