Re: Learning Ada (Was: unsigned type)

[Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>]

anon wrote:
> Standards are the way to go.  

Yes, standards are the way to go.

And this *is* standard Ada:

   type T is range 1_000_000 .. 9_999_999;

The type T has the exact same set of operations as Standard.Integer.
It is just as efficient as implementation defined Standard.Integer.
The types Integer or Boolean you mentioned are not needed in
order to define T.  Universal_integer is the type of integer
literals like 1_000_000; it is *not*  declared in package Standard, it
does not even have a name, it is just a predefined anonymous
type.

> Also, Its kind of funny.  Other than me not one person here tried to answer the 
> original person question from "unsigned type".

The first answer by Florian Weimer answered the original
question, implying, I guess, that CARDINAL is not a mod
type and so cannot be replaced with a mod type like Unsigned_N
as you seem to suggest: For Modula-2's CARDINAL, there
is overflow check control... So CARDINAL is not the same
as a modular type in Ada.

The second answer, by Albrecht K�fer, in addition
points to modular types and to how they
differ from Modula-2's CARDINAL.

Maybe it is part of Ada culture to explain how
a problem is solved in Ada, not how you can
write Ada in the language you know, even when
that might make some Ada teachers more popular
among those students who do not have the, uhm, time
to really learn Ada.