C with Safety - Cyclone

Paul Smith writes: "New Scientist is carrying a story about a redesigned version of the programming language C called Cyclone from AT&T labs. "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.""

Comments

Great Idea

[Malbosia]

A very good idea if it can be tested thoroughly, and have all of the bugs worked out of it. I could definately see something like this causing havoc because of several bugs in the compiler itself.

On a lighter note, prehaps they should just come out with a piece of hardware that will reach out and slap you if you make a stupid mistake.

Re:Actually Java does have

[jeffy124]

i think this is the 3rd time i've posted this link in this thread:
http://java.sun.com/j2se/1.4/docs/api/java/util/re gex/package-summary.html