Re: Discriminated records are not the most efficient, but ...

["Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>]

Le Mon, 23 Aug 2010 10:06:46 +0200, Dmitry A. Kazakov  
<mailbox@dmitry-kazakov.de> a écrit:
> Nominal type equivalence is when two types considered same when their  
> names
> are same. It cannot imply structural typing.
Should have said “Full Name” instead of Name.

In Ada, same full name (after any renaming resolution done) implies the  
same structure, or implies it holds at least the same structure (if you  
consider the views of a type of a class), which is enough to hold logical  
properties inferred from the structure.

You may have Package1.Type1 and package2.Type1 with different structure,  
but they do not have the same name... oops, same full name.


-- 
* 3 lines of concise statements is readable, 10 pages of concise  
statements is unreadable ;
* 3 lines of verbose statements may looks unuseful, 10 pages of verbose  
statements will never looks too much pedantic