Re: 'Cyclone', a safer C--reinventing the wheel

[mjsilva697@earthlink.net (Mike Silva)]

Why the extreme overreaction to this posting, which was mostly just
direct quotes from a news article?  What "idiocies" were posted?  If
the inferences the OP drew were incorrect then shouldn't the blame be
placed on a poorly written news article?  If the OP "doesn't know
anything" isn't that also the fault of the news article?  As I said,
your extreme reaction makes no sense on the face of it -- clearly
there's something more behind your comments.

Mike

Brian Rogoff <bpr@bpr.best.vwh.net> wrote in message news:<Pine.BSF.4.10.10111201654460.58194-100000@bpr.best.vwh.net>...
> 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