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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,63a41ccea0fc803a X-Google-Attributes: gid103376,public From: dennison@telepath.com Subject: Re: Naming of Tagged Types and Associated Packages Date: 1998/07/29 Message-ID: <6pnfkv$qkg$1@nnrp1.dejanews.com>#1/1 X-Deja-AN: 376017824 References: <6pdhfo$1br$1@platane.wanadoo.fr> <6pi71p$n90$1@platane.wanadoo.fr> <6pk3jh$gpm$2@platane.wanadoo.fr> <6pkoir$sh6$1@nnrp1.dejanews.com> <6pmrkd$5v9$1@platane.wanadoo.fr> Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Wed Jul 29 15:38:02 1998 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.0 (compatible; MSIE 4.0; Windows NT; Gateway2000) Date: 1998-07-29T00:00:00+00:00 List-Id: In article <6pmrkd$5v9$1@platane.wanadoo.fr>, "Jean-Pierre Rosen" wrote: > OK, it is available as http://perso.wanadoo.fr/adalog/naming9x.zip > It is a zipped file that contains naming9x.doc (word6 format) and > naming9x.ps (PostScript) 27K is mighty small for a Zip file :-). It looks like a large part of the original rationale assumes the need for using generics to provide MI-like facilities to specific child classes of a class. Folks on c.l.a who don't like "Instance" on account of it confusing the issue of what's an object and what's a type, ought to really dislike this: "By the same token, the declaration of the main type is always followed by the declaration of a subtype for the corresponding class wide type; this subtype is always named "class"." So we're using a package to implement a class. But it contains a type named "Class". But "Class" isn't actually full type. Its a subtype declared using the declaration of "Instance", which isn't actually an Instance in the OO-sense but a type. %-( I'm not entirely satisfied with this approach. To me it breaks the fundamental principle that identifiers should be named to describe their metaobject. Instance may be used to create instances, but it is *not* itself an instance (in the OO sense). But neither is it a class in and of itself. It takes the operations in the package and the type to make up a class. But its a whole lot easier to be a critic than a creator. I have yet to think up or see anything better. T.E.D. -----== Posted via Deja News, The Leader in Internet Discussion ==----- http://www.dejanews.com/rg_mkgrp.xp Create Your Own Free Member Forum