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.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f891f,bf2f30a0886f0d6c X-Google-Attributes: gidf891f,public X-Google-Thread: 103376,bf2f30a0886f0d6c X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 1993-03-24 01:35:19 PST Xref: sparky comp.lang.ada:4776 comp.lang.misc:4470 Path: sparky!uunet!inmos!marble.uknet.ac.uk!warwick!zaphod.crihan.fr!univ-lyon1.fr!scsing.switch.ch!sicsun!disuns2.epfl.ch!lglsun!nebbe From: nebbe@lglsun.epfl.ch (Robb Nebbe) Newsgroups: comp.lang.ada,comp.lang.misc Subject: Re: Classes vs Tagged Types - Terminology Keywords: classes modules packages inheritance tagged types Message-ID: <1993Mar24.094530@lglsun.epfl.ch> Date: 24 Mar 93 08:58:57 GMT References: Organization: Ecole Polytechnique Federale de Lausanne NNTP-Posting-Host: lglsun2.epfl.ch Date: 1993-03-24T08:58:57+00:00 List-Id: In article , chl@clw.cs.man.ac.uk (Charles Lindsey) writes: : TYPE With INHERITANCE : Example: Tagged Types in Ada 9x : These are to enable "Object Oriented Programming" in PACKAGE-based : languages. The concept seems good, and the (possible) advantages of : PACKAGE-based systems over CLASS-based systems are retained. The term : "Tagged Type" is used because values of such Types need to carry a Tag : around at runtime. However, some complain that implementation details : should not carry over into the syntax of High Level Languages, so maybe : some other term is needed. I offer "Classified Type" for your : consideration. : We shouldn't leave Oberon out of this discussion since it is already available and Ada 9X is still only a proposal. Oberon implements inheritance for record types and Wirth even goes out of his way to avoid mentioning the word "tag" when talking about the concepts in his book. Oberon also rather neatly avoids the distributed overhead incurred by Ada; objects with a specific type have no need for a tag and so the only objects that have tags are record pointers which don't necessarily always point to an object of the same specific type. Tagged types will probably be a peculiarity of Ada (although certainly justified in Ada's case) and I don't think we will be seeing other languages with tagged types. : Charles H. Lindsey Robb Nebbe