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,103b407e8b68350b X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-01-17 06:50:26 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!bloom-beacon.mit.edu!news-out.cwix.com!newsfeed.cwix.com!newsfeed.icl.net!newsfeed.fjserv.net!newsfeed.frii.net!newsfeed.frii.net!news.compaq.com!uunet!sac.uu.net!ash.uu.net!spool0902.news.uu.net!not-for-mail Date: Fri, 17 Jan 2003 09:36:49 -0500 From: Hyman Rosen User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.3b) Gecko/20030116 X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Anybody in US using ADA ? One silly idea.. References: <1041908422.928308@master.nyc.kbcfp.com> <1041997309.165001@master.nyc.kbcfp.com> <1042086217.253468@master.nyc.kbcfp.com> <1042477504.547640@master.nyc.kbcfp.com> <1042651417.215661@master.nyc.kbcfp.com> <1042743579.1165@master.nyc.kbcfp.com> <3E278211.95858B58@adaworks.com> In-Reply-To: <3E278211.95858B58@adaworks.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Organization: KBC Financial Products Message-ID: <1042814209.351376@master.nyc.kbcfp.com> Cache-Post-Path: master.nyc.kbcfp.com!unknown@nightcrawler.nyc.kbcfp.com X-Cache: nntpcache 3.0.1 (see http://www.nntpcache.org/) NNTP-Posting-Host: 204.253.250.10 X-Trace: 1042814210 20827 204.253.250.10 Xref: archiver1.google.com comp.lang.ada:33129 Date: 2003-01-17T09:36:49-05:00 List-Id: Richard Riehle wrote: > Bill Findlay posted some code earlier, that I revised slightly > to make a point in this conversation. Here is another example > using generics. Yep. I already knew that the Ada generic model is different from the C++ one. Thanks for another example illustrating why this must be so. C++ types don't carry around little runtime bits to augment their static information, so a C++ template instantiation is much more of a "macro expansion" than is an Ada generic instantiation. I can also see why Dmitry Kazakov is dubious of the benefits of generics over dispatching, since Ada generics already seem to need to access runtime type information. It's quite different in C++. Very interesting. As another thread is saying, comparing different programming languages is a good thing. You have to be pretty expert in a language to see how apparent low-level design details spread throughout and affect seemingly unrelated areas.