C++ has a lot of nontrivial problems that make it not a clear improvement over using C. These include things such as exceptions, lack of abi stability, construc

C++ has a lot of nontrivial problems that make it not a clear improvement over using C. These include things such as exceptions, lack of abi stability, constructors, destructors and greatly longer compile times (I once converted a project to cleanly compile as both C and C++ and compiling as C++ took twice as long). Some of these features proposed in this paper would be simple additions that have already been battle-tested in real compilers (gcc and clang already have ‘auto’ by using __auto_type, gcc and clang already have 'typeof’). I am less sanguine about adding any form of capturing closures (by value or by reference), but non-capturing function literals that get desugared to anonymous static functions would be a usability win.