Re: Another problem with stream reading.

["Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>]

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.

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com


"Randy Brukardt" <randy@rrsoftware.com> wrote in message
news:ua4mt7p1nif778@corp.supernews.com...
>
> It would be nice if Ada had real unsigned types with checking, etc., but
> I brought that up repeatedly during the design of Ada 95, and there was
> no support. And that has not changed, so don't expect it to change in
> Ada 0y. So we have only modular types if we really need unsigned
> behavior.
>