Closures: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2737.pdf
Type inference for variable definitions and function returns: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2735.pdf
Type generic programming: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2734.pdf
Defer mechanism: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2589.pdf
What is miss the most: the preprocessor still has no macro that modifies or creates a new macro.