Re: Are there noticable differences in Ada acceptance by country?

On Mar 20, 4:22 pm, Simon Wright <simon.j.wri...@[EMAIL PROTECTED]
> wrote:
> gp...@[EMAIL PROTECTED]
 writes:
> > I think strong typing should not be dismissed.  Unfortunately Java-
> > based (and C/C++/C#) courses don't explain to students that X and Y
> > coordinates being fundamentally integer (or float) types are not the
> > same thing.
>
> I always disliked an X binding which had (sub)types for X, Y
> coordinates. Wrong level of abstraction, I thought: use something like
>
>    type Position is record
>       X : Float;
>       Y : Float;
>    end record;
>
> and you get a _lot_ less scope for confusion.
>
> --S

Well, it won't prevent someone to do:

P1.X := P2.Y;

To make may point clear, let's say:

    type Temperature_Type is new Float;

is not the same entity as

    type Speed_Type is new Float;

and I find it useful to be able to express that in the programming
language.


George.