Re: Generics - Difference between ADA and Modula--3

[dvdeug@x8b4e53cd.dhcp.okstate.edu (David Starner)]

On Mon, 5 Feb 2001 15:12:20 -0800, Mark Lundquist <mark@rational.com> wrote:
>> Modula-3 compares types by value instead of by name, and introduces brands
>> to compensate for that.
>>
>
>What does this mean?  Can you explain this one some more?

type A is {Alpha, Beta, Gamma};
type B is {Alpha, Beta, Gamma};
type C is access A;
type D is access B;
type E is branded access A;
type F is branded access A;

In Ada, A, B, C, D, E and F are different types. In Modula 3, A & B are
the same type (because they have the same expanded form), and C & D are 
the same type. However, E and F are distinct from each other and C and D,
because of the brands.

-- 
David Starner - dstarner98@aasaa.ofe.org
Pointless website: http://dvdeug.dhis.org
"I don't care if Bill personally has my name and reads my email and 
laughs at me. In fact, I'd be rather honored." - Joseph_Greg