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 X-Google-Thread: 103376,63a41ccea0fc803a X-Google-Attributes: gid103376,public From: "Jean-Pierre Rosen" Subject: Re: Naming of Tagged Types and Associated Packages Date: 1998/07/28 Message-ID: <6pk3jf$gpm$1@platane.wanadoo.fr>#1/1 X-Deja-AN: 375599109 Content-Transfer-Encoding: 8bit References: <6pdhfo$1br$1@platane.wanadoo.fr> <6pi0pf$df8$1@nnrp1.dejanews.com> Content-Type: text/plain; charset="iso-8859-1" X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2106.4 Organization: Adalog Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 1998-07-28T00:00:00+00:00 List-Id: Matthew Heaney a �crit dans le message ... >dennison@telepath.com writes: > >> Be careful. While this may be a nifty convention for ending discussions about >> the U.S. constitution, the Ada language designers aren't yet dead. In fact, >> they are still around and reading c.l.a. In my experience they have a rather >> annoying habit of piping in and disagreeing with me when I was sure they'd >> agree. :-) > >Read the RM. Show me one place in the RM where a type is named >"Instance." The RM has many qualities, but it is certainly not intended to be used as an example ! For example, it uses "with P; use P;" in every example, which lead people to believe that the use clause had to be placed after the with, which lead in turn people to forbid the use clause. Here, examples in the RM had the effect of *defeating* the intended purpose of a language construct! >If the language designers had intended for "type Instance is ..." to be >the convention, then surely Text_IO.File_Type would have been named that >way! The purpose of this convention is restricted to OOP programming, and AFAIK File_Type is not (visibly) tagged. But the important thing is NOT that the name is "instance", "object", "T" or "gizmo". The important thing is that there is a distinct identifier for the main type of a package, and that the same identifier is used for all "class packages", generic or not. -- ---------------------------------------------------------------------------- J-P. Rosen (Rosen.Adalog@wanadoo.fr) Visit Adalog's web site at http://perso.wanadoo.fr/adalog