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.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,1e3f2eac5c026e3 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-12-28 10:14:07 PST Path: archiver1.google.com!news2.google.com!news.maxwell.syr.edu!small1.nntp.aus1.giganews.com!border1.nntp.aus1.giganews.com!intern1.nntp.aus1.giganews.com!nntp.giganews.com!nntp.comcast.com!news.comcast.com.POSTED!not-for-mail NNTP-Posting-Date: Sun, 28 Dec 2003 12:14:05 -0600 Date: Sun, 28 Dec 2003 13:14:04 -0500 From: "Robert I. Eachus" User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4) Gecko/20030624 Netscape/7.1 (ax) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Other Ada Standards (was Re: SIGada Conference) References: <468D78E4EE5C6A4093A4C00F29DF513D04B82B08@VS2.hdi.tvcabo> <3FE991DD.5060301@noplace.com> <3FEA5C82.8050309@noplace.com> <3FEB047A.1040100@noplace.com> In-Reply-To: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Message-ID: NNTP-Posting-Host: 24.34.214.193 X-Trace: sv3-gTpFUzPhey5+JA3yO8KIhuii+tOKm/Z9nnl74mX5sTEDNIahyaGsXPpGalAM46FjWVokqgx2OO96JB4!HK29ITutd1UsAZjnNchx1cc6Y6A1J+5mqyZ2WnXXUoLLq3jam4wfXz6yQuk9EQ== X-Complaints-To: abuse@comcast.net X-DMCA-Complaints-To: dmca@comcast.net X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.1 Xref: archiver1.google.com comp.lang.ada:3893 Date: 2003-12-28T13:14:04-05:00 List-Id: Dmitry A. Kazakov wrote: > With/use issue is rather a cosmetic one. It might be very important for > language promoting, though for those who are using Ada on daily basis, it > is uninteresting, yet. Another very important cosmetic thing, (Robert > Eachus and me mentioned it before) could be an ability to bundle a set of > with's and use's in one package with then could be with-ed / used-ed > instead. Not me! Unless I mentioned that I often do just that, but in a different way. If I am composing several ADTs to create a type I certainly will do: with A; with B; with C; package Multiple is type ADT is ... package New_A is new A(ADT); package New_B is new B(ADT); package New_C is new C(ADT); function ... renames New_A... procedure ... renames New_B... ... end Multiple; Now for types that use the ADT, I only have to say: with Multiple; of course I will often follow it with: use type Multiple.ADT; to make the interesting subset of the declarations in ADT visible. (If I need one of the uncommon operations from one of the instances, I will either use dotted notation or a use clause in some nested scope.) > And these cosmetic things are about > > - information hiding, > - refactoring, > - reuse > > of declarations. Isn't it more than just an issue of training a text editor? Yes, it is. But what does it mean if you have a large set of unrelated packages withed by a large number of different units? Bad design. So adding something to the language to make it easier for bad designers to implement their designs, and harder on the readers than the bad design would otherwise be is not something we want to do. Now look at what I did above, and think about interfaces. Interfaces will make it easier to aggregate related units and when interfaces are used to implement the above pattern, and will make it even easier on the reader. Unless there is a with for one of the instances used to implement an instance of an interface, the reader only needs to understand the interface to understand a unit where an interface instance is withed. This is what I meant when I said that I think that adding interfaces to Ada will be a big benefit without considering multiple inheritance. Interfaces make it easier for a writer to communicate his intentions to readers. -- Robert I. Eachus "The war on terror is a different kind of war, waged capture by capture, cell by cell, and victory by victory. Our security is assured by our perseverance and by our sure belief in the success of liberty." -- George W. Bush