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,897417b380f5731e X-Google-Attributes: gid103376,public From: Brian Rogoff Subject: Re: STL, Ada, C++ (Was Re: The Next Microsoft?) Date: 2000/05/09 Message-ID: #1/1 X-Deja-AN: 621393274 References: <391328F0.1221@synquiry.com> <39133213.64A@Ganymede.com> <8f50hc$hpo$1@nnrp1.deja.com> <8f83i2$osk$1@slb1.atl.mindspring.net> Content-Type: TEXT/PLAIN; charset=US-ASCII X-Trace: nntp1.ba.best.com 957926357 207 bpr@206.184.139.136 MIME-Version: 1.0 Newsgroups: comp.lang.ada Date: 2000-05-09T00:00:00+00:00 List-Id: On Tue, 9 May 2000, Brian Rogoff wrote: > On Tue, 9 May 2000, Richard D Riehle wrote: > > For example, the model for generic formal package parameters in Ada > > forces the designer to create a generic signature package corresponding to > > the parameter. This makes automatic instantiation quite difficult to > > achieve, but has the benefit of pretty thorough compile-time evaluation > > of all the elements of the signature. > > Here are the rules for automatic instantiation proposed by Shen and > Cormack: ... snip... > Packages in package parameters would not be inferred. Which is clearly unacceptable today, for reasons of consistency and upward compatibilty, Ada generic signature packages should be inferrable too. I suspect that in a system with optional automatic instantiation those would mostly still be explicitly instantiated, since they provide important information to the reader, and would be particularly prone to ambiguity. Sorry for writing that mistaken sentence. -- Brian