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

[Brian Rogoff <bpr@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