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 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a59300e1cca1082c X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-09-19 07:38:16 PST Path: archiver1.google.com!newsfeed.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!newsfeed.media.kyoto-u.ac.jp!sjc-peer.news.verio.net!news.verio.net!sea-read.news.verio.net.POSTED!not-for-mail Newsgroups: comp.lang.ada From: Brian Rogoff Subject: Re: Safe C++ In-Reply-To: <3BA7A45D.186EE27A@adaworks.com> Message-ID: <20010919072904.O10277-100000@shell5.ba.best.com> References: <3BA7A45D.186EE27A@adaworks.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Wed, 19 Sep 2001 14:38:12 GMT NNTP-Posting-Host: 206.184.139.136 X-Complaints-To: abuse@verio.net X-Trace: sea-read.news.verio.net 1000910292 206.184.139.136 (Wed, 19 Sep 2001 14:38:12 GMT) NNTP-Posting-Date: Wed, 19 Sep 2001 14:38:12 GMT Organization: Verio Xref: archiver1.google.com comp.lang.ada:13177 Date: 2001-09-19T14:38:12+00:00 List-Id: On Tue, 18 Sep 2001, Richard Riehle wrote: > There is an interesting discussion on comp.lang.c++.moderated > in which the topic of a safe C++ is being argued. Some Ada > enthusiasts might find it amusing. A couple of posters even > suggested that, instead of trying to make C++ safe, perhaps they > needed a new language design to satisfy the need. Apparently, > they never heard of Ada. Rather than just snipe from the side at people trying to do better, take a look at http://www.cs.cornell.edu/projects/cyclone/ and consider that it certainly has some features which are arguably better than the Ada alternatives. Putting my "Ada fan" hat on, I'd say that some of the work on region based memory management should find it's way into some Ada dialect, maybe even into the standard. And I really think pattern matching and some other features of modern (read HM-typed, functional/declarative) languages should find their way into an Ada successor. If only the Cyclone guys had started with Ada, or even the SPARK subset! It's really unfortunate that Ada hasn't spawned lots of research dialects, like C family languages have. -- Brian