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 09:09:15 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.kjsl.com!HSNX.atgi.net!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: 'Cyclone', a safer C--reinventing the wheel In-Reply-To: <3BFA4095.8325D016@earthlink.net> Message-ID: References: <3BFA4095.8325D016@earthlink.net> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Date: Tue, 20 Nov 2001 17:09:19 GMT NNTP-Posting-Host: 192.220.65.223 X-Complaints-To: abuse@verio.net X-Trace: sea-read.news.verio.net 1006276159 192.220.65.223 (Tue, 20 Nov 2001 17:09:19 GMT) NNTP-Posting-Date: Tue, 20 Nov 2001 17:09:19 GMT Organization: Verio Xref: archiver1.google.com comp.lang.ada:16735 Date: 2001-11-20T17:09:19+00:00 List-Id: On Tue, 20 Nov 2001, Marc A. Criley wrote: > So now scientists at Cornell have come up with a "a new computer > language designed to avoid unforeseen programming errors". Nope, they've been working on it for a while now. In fact, I even posted a pointer to the Cyclone reference manual a few months ago (check on Google if you don't believe me) since I found out about it on comp.lang.functional where one of the researchers was discussing it. I suppose you could argue that some wheels are being reinvented, but they aren't the ones you think. Cyclone is more a marriage of ML/Haskell typing to a C substrate than anything having to do with Ada. Why don't you try learning something rather than just posting idiocies? I know, its a lot easier in comp.lang.ada to get everyone to applaud your wit by supporting their delusions, but the easy path is not always the most rewarding one. > The article is at > http://www.newscientist.com/news/news.jsp?id=ns99991578. I could post a pointer to Eric Raymund's descriprion of Ada, and that's about as useful. Here, educate yourself http://www.cs.cornell.edu/Projects/cyclone/ > 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. As I suspected, you don't know anything, but you just had to comment. FYI, the first papers on Hindley Milner typing are from the 60s (Hindley, but its just math) and late 70s (Milner, for a computer application). And the properties of the type system are described formally, unlike Ada. > You just shake your head sometimes... Indeed! -- Brian