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-22 06:08:23 PST Path: archiver1.google.com!news1.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!newsfeed1.earthlink.net!newsfeed.earthlink.net!newsmaster1.prod.itd.earthlink.net!newsread1.prod.itd.earthlink.net.POSTED!not-for-mail Message-ID: <3BFCF3B6.1C497017@earthlink.net> From: "Marc A. Criley" Organization: Quadrus Corporation X-Mailer: Mozilla 4.73 [en] (X11; U; Linux 2.2.14-5.0 i686) X-Accept-Language: en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: 'Cyclone', a safer C--reinventing the wheel References: <3BFA4095.8325D016@earthlink.net> <84ppvtsf6o52hstru99lv6rgs160oicoo3@4ax.com> Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Date: Thu, 22 Nov 2001 13:45:14 GMT NNTP-Posting-Host: 158.252.123.236 X-Complaints-To: abuse@earthlink.net X-Trace: newsread1.prod.itd.earthlink.net 1006436714 158.252.123.236 (Thu, 22 Nov 2001 05:45:14 PST) NNTP-Posting-Date: Thu, 22 Nov 2001 05:45:14 PST X-Received-Date: Thu, 22 Nov 2001 05:41:01 PST (newsmaster1.prod.itd.earthlink.net) Xref: archiver1.google.com comp.lang.ada:16862 Date: 2001-11-22T13:45:14+00:00 List-Id: IsraelRT wrote: > > On Tue, 20 Nov 2001 12:36:41 GMT, "Marc A. Criley" > wrote: > > >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. > > Relying on New Scientist can be dangerous... So I see. Forgive me for receiving an article brief from the ACM Technical mailing list, exercising due diligence by reading the full text of the article in New Scientist, then apprising this newsgroup of its contents (with a posting containing a mild lament that the goal of this language--safer programming--is one that has been manifest in Ada since its creation.) Assuming the New Scientist article was reasonably accurate, I abstracted it into a brief posting that was at least half quotes from the article. In addition, I stated that I was sure this was not just "C with constraint checking", because something as simple as that would hardly merit academic reasearch (I'm serious about that, not sarcastic). My intent then was to take the next opportunity to do a little more research on Cyclone and get the full story behind the New Scientist article. But since I'm an idiot, an ignoramus, and don't know anything, I probably wouldn't understand it. Marc A. Criley