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

["chris.danx" <chris.danx@ntlworld.com>]

"Marc A. Criley" <mcqada@earthlink.net> 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.)