Hacker News Reader

Doesn't this exist already with Fil-C?

I understand that he is working on C++ according to blog post.

More like a hybrid to get to a safe C, with constructors, destrcutors, member functions and such.

Fil-C is similar, but less promising than this. But Fil-C is far more advanced than TrapC. There several more such attempts also, not just those two