テンプレート

http://www.kmonos.net/wlog/59.php#_2335060328

C++のテンプレートは、作るほうも使うほうも型検査（ましてや型推論）がまともにできないのが致命的のような。決して間違えないのなら良いですが、それならばLispのマクロや（極論ですが）アセンブリ言語でも良いわけで。

あと、C++自体としては、ガベコレがないのも重大かと。特にクロージャもどきとか使いはじめると。言語仕様として、conservative GCにならざるをえないあたりが。