Sat Apr 16 11:45:59 PDT 2011

The real problem is not C.

It's the C preprocessor.

What I'd like to do is to make a C preprocessor with a type system or
any kind of static analysis.  If I look at my own programming style, I
really can't give up on macros when working on a C project, while the
CPP is exactly the root of the problem for anything involving analysis
of the "meaning" of C code, it is still an essential part.  Moreover
it is standardized which means people use and abuse it.

[1] http://citeseer.ist.psu.edu/viewdoc/summary?doi=
[2] http://www.ioccc.org/2001/herrmann1.hint