From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,2ea02452876a15e1 X-Google-Attributes: gid103376,public X-Google-Thread: 1108a1,c52c30d32b866eae X-Google-Attributes: gid1108a1,public From: cjames3@concentric.net (The Right Reverend Colin James III) Subject: Re: Ada terminology (was Re: Real OO) Date: 1996/05/07 Message-ID: <318f9644.334735744@news.concentric.net>#1/1 X-Deja-AN: 153671589 references: <4j9p3a$uo5@watnews1.watson.ibm.com> <4kbqun$iiv@watnews1.watson.ibm.com> <6850x6pV3RB@herold.franken.de> <4mls4h$sau@watnews1.watson.ibm.com> <4mn0vd$7o9@news.ox.ac.uk> organization: CEC Services, LLC reply-to: cjames3@concentric.net newsgroups: comp.lang.ada,comp.object Date: 1996-05-07T00:00:00+00:00 List-Id: Remove comp.lang.eiffel from distribution of this thread. ------------------------------------------------------------- lady0065@sable.ox.ac.uk (David Hopwood) posted with deletions: | In article <4mls4h$sau@watnews1.watson.ibm.com>, | Norman H. Cohen wrote: | > | >In Ada, a class is not a type, but a SET OF TYPES. In particular, the | >set of tagged types directly or indirectly derived from a common root | >forms a "derivation class". ("Deriving" from a type means defining a | >descendant type.) For each type T at the root of a tree or | >subtree in the derivation hierarchy, there is a "classwide type", | >T'Class, whose values are taken from the discriminated union of the types | >in the class. One cannot derive from a classwide type. | >(By "discriminated union," we mean that for each value V of each type in | >the class, there is a corresponding value in T'Class, and that the | >corresponding value in T'Class includes a "tag" identifying the type of | >the original value V.) | | Maybe it's just me, but... | Why does Ada use the words 'type' and 'class' in the opposite sense | to everyone else? | | David Hopwood | david.hopwood@lmh.ox.ac.uk ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ Re-usable, patented software for banks and financial markets. Mirror sites: www.cec-services.com & www.cris.com/~cjames3 Colin James III, Principal Scientist, cjames@cec-services.com CEC Services, LLC, 2080 Kipling St, Lakewood, CO 80215-1502 Voice: 303.231.9437; Facs: 303.231.9438; Data: 303.231.9434 ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~ ~