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: 1014db,304c86061dc69dba X-Google-Attributes: gid1014db,public X-Google-Thread: f5d71,304c86061dc69dba X-Google-Attributes: gidf5d71,public X-Google-Thread: 103376,5cb36983754f64da X-Google-Attributes: gid103376,public X-Google-Thread: 109fba,304c86061dc69dba X-Google-Attributes: gid109fba,public X-Google-ArrivalTime: 2004-02-08 15:25:27 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: 8 Feb 2004 15:25:26 -0800 Organization: http://groups.google.com Message-ID: <54759e7e.0402081525.50c7adae@posting.google.com> References: <20040206174017.7E84F4C4114@lovelace.ada-france.org> <54759e7e.0402071124.322ea376@posting.google.com> <2460735.u7KiuvdgQP@linux1.krischik.com> NNTP-Posting-Host: 156.111.84.180 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1076282727 17005 127.0.0.1 (8 Feb 2004 23:25:27 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Sun, 8 Feb 2004 23:25:27 +0000 (UTC) Xref: archiver1.google.com comp.lang.ada:5349 comp.lang.c:21248 comp.lang.c++:18190 comp.lang.java:2790 Date: 2004-02-08T15:25:26-08:00 List-Id: Martin Krischik wrote in message news:<2460735.u7KiuvdgQP@linux1.krischik.com>... > Others did that allready. Besides, you would need an installed Ada compiler > to verify anyway. time apt-get install gnat => 15 seconds > > > > Can you do the following in Ada: > > > > 1. Write *one* bubble-sort function that will work on different > > types given an appropriate comparison function > > Shure you can. Ada invented templates long bevore C++ was even though of. > Ada templates are far more powerfull then C++. Example? > > 2. If B is a subtype of A, can you pass it to any function that > > takes A as an argument? (covariance) > > subtype as in object orientation: > > type Parent is tagged null record; > type Child is new Parent with null record; "null record" ? How about non-null ones? Is a 3D point (x, y, z) a subtype of a 2D one (x, y) ? BTW, does Ada have discriminated unions? (if you don't know what they are, probably none of the language you used had them) Also, is it possible to corrupt memory in Ada? Is it possible to leak memory in Ada? > or subtype as in simple types: > > type Day_of_Month is range 1 .. 31; > subtype Day_of_Febuary is Day_of_Month range 1 .. 29; That's neat. > > 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. > > He also won't tell you why Spirit died. It's not dead, it's sleeping! Cheers, MSG