Re: What's wrong with C++?

["J-P. Rosen" <rosen@adalog.fr>]

Le 18/02/2011 00:03, Hyman Rosen a écrit :
> It also occurs to me that the ability to control their internal
> representation makes them seem an awful lot like integers!
I think you might be missing a fundamental point about the typing model
of Ada here.

There are two levels: an abstract type that pertains to the problem
domain, and an internal representation (which eventually boils down to
bits). In Ada, you work in the problem domain, independently of the
representation.

Normally, the compiler chooses the internal representation for you.
However, if you need a certain representation, you can impose it on the
compiler; nevertheless, you still work in the abstract domain.

A typical example of this is what we discussed about the 'Pos attribute:
it is defined as the relative position of an enum in the list where it
is defined. It has nothing to do whatsoever with its internal
representation (although, for efficiency reasons, they are the same /by
default/).

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Adalog a déménagé / Adalog has moved:
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00