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: f5d71,304c86061dc69dba X-Google-Attributes: gidf5d71,public X-Google-Thread: 109fba,304c86061dc69dba X-Google-Attributes: gid109fba,public X-Google-Thread: 103376,5cb36983754f64da X-Google-Attributes: gid103376,public X-Google-Thread: 1014db,304c86061dc69dba X-Google-Attributes: gid1014db,public X-Google-ArrivalTime: 2004-02-07 11:24:47 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: msg1825@yahoo.com (MSG) Newsgroups: comp.lang.ada,comp.lang.c,comp.lang.c++,comp.lang.java Subject: Re: No call for Ada (was Re: Announcing new scripting/prototyping language) Date: 7 Feb 2004 11:24:47 -0800 Organization: http://groups.google.com Message-ID: <54759e7e.0402071124.322ea376@posting.google.com> References: <20040206174017.7E84F4C4114@lovelace.ada-france.org> NNTP-Posting-Host: 156.111.84.180 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1076181887 8163 127.0.0.1 (7 Feb 2004 19:24:47 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sat, 7 Feb 2004 19:24:47 +0000 (UTC) Xref: archiver1.google.com comp.lang.ada:5317 comp.lang.c:20981 comp.lang.c++:18016 comp.lang.java:2749 Date: 2004-02-07T11:24:47-08:00 List-Id: Ludovic Brenta wrote in message news:... [...] > The "zen master" languages are Pascal, Modula, > Oberon, and, master of masters, Ada. The beauty of these languages is > that, once you are Enlightened, you can apply your wisdom to other > languages as well -- but often would prefer not to. Can you do the following in Ada: 1. Write *one* bubble-sort function that will work on different types given an appropriate comparison function 2. If B is a subtype of A, can you pass it to any function that takes A as an argument? (covariance) 3. If B is a subtype of A, and FA and FB are functions accepting A and B as arguments, can you use FA wherever FB could be used? (contravariance) 4. If B is a subtype of A, is list/array/vector/set/etc. of Bs a subtype of list/array/vector/set/etc of As? (covariance) Unless you can show us how to do this in a way that will keep Ada a "safe" (third category) language you say it is, I will not believe that it's a "master of of the masters", I'm afraid. If you answer "yes" to any of the questions, post *compilable* snippets: we don't want to learn Ada just to verify your claims, we simply won't believe you. BTW, the esteemed Mr. E. Robert Tisdale (ER for short) isn't letting on about why Ada isn't used much at NASA any more. Perhaps *you* have an explanation? MSG