потому что язык принципиально заточен под одну парадигму, причём в самой негибкой и фанатичной её интерпретации. В нём процедуру-то нельзя было реализовать без ГоФ. И вот лямбды.
не, в плюсах нету параметрического полиморфизма и универсального представления, и лямбды там не приделать с++ это настолько не фя, насколько вообще возможно