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,beb0b7471c6440e3 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-11-20 08:39:59 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!dispose.news.demon.net!demon!xara.net!gxn.net!server6.netnews.ja.net!server4.netnews.ja.net!news5-gui.server.ntli.net!ntli.net!news2-win.server.ntlworld.com.POSTED!not-for-mail From: "chris.danx" Newsgroups: comp.lang.ada References: <3BFA4095.8325D016@earthlink.net> Subject: Re: 'Cyclone', a safer C--reinventing the wheel MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000 Message-ID: Date: Tue, 20 Nov 2001 16:30:13 -0000 NNTP-Posting-Host: 62.252.152.81 X-Complaints-To: abuse@ntlworld.com X-Trace: news2-win.server.ntlworld.com 1006274080 62.252.152.81 (Tue, 20 Nov 2001 16:34:40 GMT) NNTP-Posting-Date: Tue, 20 Nov 2001 16:34:40 GMT Organization: ntlworld News Service Xref: archiver1.google.com comp.lang.ada:16728 Date: 2001-11-20T16:30:13+00:00 List-Id: "Marc A. Criley" wrote in message news:3BFA4095.8325D016@earthlink.net... > So now scientists at Cornell have come up with a "a new computer > language designed to avoid unforeseen programming errors". > > How? "The Cyclone compiler identifies segments of code that could > eventually cause such problems using a 'type-checking engine'. This > does not just look for specific strings of code, but analyses the code's > purpose and singles out conflicts known to be potentially dangerous." > > The article is at > http://www.newscientist.com/news/news.jsp?id=ns99991578. > > I'm sure this is not just "C with constraint checking", but still, Ada's > "type-checking engine" has been getting exercised, optimized, and > verified for almost 20 years now. > > You just shake your head sometimes... Hmm, I'm getting fed up with posts like this. The frequency of posts like this has increased alot in recent months, and I'm sick of it. I'm giving this group until I'm sufficiently well versed in Haskell/Clean/Dylan (so many choices), then if it's still full of "my language is better than yours" posts, I'm off (I had planned to write substantial software in Ada (it's familiar), now I've resigned much of it to the be done in something else. The point? ppl here could use it (in particular an OS) as advocacy but that's exactly what's tickin' me off! It's got to the 'crusade' stages, which is a shame; Ada is a nice language, and good to program in (I'm not going to stop programming in Ada) but it's not fun or fair to take swipes at other ppl's languages (and hard work) just because they don't program in it.)