Interesting! I knew about clang and what Google is doing there. It is definitely related to the point I'm trying to convey. I'll be taking a close look at Cocc

Interesting! I knew about clang and what Google is doing there. It is definitely related to the point I'm trying to convey. I'll be taking a close look at Coccinelle. Thanks for the link. And as you say, C and C++ "might be the worse languages amongst typed languages to develop such projects on," due to things like the preprocessor, hard to parse syntax, etc. So I'm saying, perhaps it is time to invent the programming language that is most amenable to this. It's amazing what we can do if we put our best engineers onto the hard problem of achieving this with C / C++ code. Imagine what might be possible if we designed a language from scratch with the primary goal of making this easy. As far as I know, no programming language has ever been designed with this as its primary goal (I'd love to be corrected if I'm wrong).