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 08:54:09 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!info1.fnal.gov!nntp.upenn.edu!msunews!sens-a.cse.msu.edu!meinersc From: Chad Robert Meiners Newsgroups: comp.lang.ada Subject: Re: Safe C++ Date: Wed, 19 Sep 2001 11:52:03 -0400 Organization: Michigan State University Message-ID: References: <3BA7A45D.186EE27A@adaworks.com> <20010919072904.O10277-100000@shell5.ba.best.com> NNTP-Posting-Host: sens-a.cse.msu.edu Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII In-Reply-To: <20010919072904.O10277-100000@shell5.ba.best.com> Xref: archiver1.google.com comp.lang.ada:13180 Date: 2001-09-19T11:52:03-04:00 List-Id: On Wed, 19 Sep 2001, Brian Rogoff wrote: > 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. Which features are better than the Ada alternatives? Cyclone doesn't appear to help reduce the number of pointers that the programmer has to manage which I consider to be a major drawback with the language. > 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 > > > - Chad R. Meiners