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-20 09:01:53 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!feed.textport.net!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: Message-ID: <20010920084929.G7505-100000@shell5.ba.best.com> References: <3BA7A45D.186EE27A@adaworks.com> <20010919072904.O10277-100000@shell5.ba.best.com> <20010919102107.L4954-100000@shell5.ba.best.com> <9ob2u6$2r4l$1@msunews.cl.msu.edu> <20010919202331.R6489-100000@shell5.ba.best.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Thu, 20 Sep 2001 16:01:51 GMT NNTP-Posting-Host: 206.184.139.136 X-Complaints-To: abuse@verio.net X-Trace: sea-read.news.verio.net 1001001711 206.184.139.136 (Thu, 20 Sep 2001 16:01:51 GMT) NNTP-Posting-Date: Thu, 20 Sep 2001 16:01:51 GMT Organization: Verio Xref: archiver1.google.com comp.lang.ada:13217 Date: 2001-09-20T16:01:51+00:00 List-Id: On Thu, 20 Sep 2001, Pat Rogers wrote: > "Brian Rogoff" wrote in message > news:20010919202331.R6489-100000@shell5.ba.best.com... > > On Wed, 19 Sep 2001, Chad R. Meiners wrote: > > > "Brian Rogoff" wrote in message > > > > Pattern matching > > > > Parametrically polymorphic functions > > > > Tuples > > > > > > I'll have to trust you or these three since I have never encountered a > > > situation where I was ever wishing for such functionality. > > > > I used and liked Ada, compared with C, but there aren't too many things > > about Ada (overloading is the big one) I miss compared with ML. > > What is the concurrency support? That's another one (mostly) for Ada. OCaml has a decent threads library, and SML/NJ supports a Concurrent ML extension (there's a book by that name too which you can read) and has Scheme style call/cc. I don't know much about the other SMLs. I certainly wasn't knocking Ada, I'm pointing out that there are core language extensions which would (IMO of course) make Ada a much better language. Some of those extensions are being tried in Cyclone. One of the goals of Cyclone no doubt is to become successful, so they are starting from C, rather than Ada. I think it's unfortunate that there aren't such projects for Ada. Personally, I think pattern matching on algebraic data types is one of the biggest advantages of modern languages, since that feature combines brevity, readability, and typability, and is very much in the spirit of Ada. Much more so than tagged types and OO! -- Brian