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,1dd28d5040ded1f8 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-05-10 06:06:45 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!nntp.abs.net!uunet!dca.uu.net!ash.uu.net!spool0900.news.uu.net!reader0900.news.uu.net!not-for-mail Message-ID: <3CDBC5E3.1010609@mail.com> Date: Fri, 10 May 2002 09:06:43 -0400 From: Hyman Rosen User-Agent: Mozilla/5.0 (Windows; U; WinNT4.0; en-US; rv:0.9.9+) Gecko/20020425 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Announce: Grace project site operational References: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Organization: KBC Financial Products Cache-Post-Path: master.nyc.kbcfp.com!unknown@fixedcost.nyc.kbcfp.com X-Cache: nntpcache 2.3.3 (see http://www.nntpcache.org/) NNTP-Posting-Host: 204.253.250.10 X-Trace: 1021036004 reader0.ash.ops.us.uu.net 1810 204.253.250.10 Xref: archiver1.google.com comp.lang.ada:23831 Date: 2002-05-10T09:06:43-04:00 List-Id: Once again, I begin with a caveat that I am a C++ and not an Ada programmer, so forgive me if I'm talking through my hat. I am thinking that it would also be useful to allow generic formal packages to have a default value, and moreover, to allow this default value to be a new instantiation of a generic, most likely using preceding generic parameters. It seems to me that this would incorporate a flavor of C++'s template style of traits classes and automatic instantiation while still preserving the actual Ada style of explicit generic instantiation.