Сидел, читал, и вот нашёл:
https://ru.wikiversity.org/wiki/%D0%9A%D1%80%D0%B8%D1%82%D0%B8%D0%BA%D0%B0_C%2B%2B#.D0.9D.D0.B5.D1.84.D0.BE.D1.80.D0.BC.D0.B0.D0.BB.D1.8C.D0.BD.D0.B0.D1.8F_.D0.BA.D1.80.D0.B8.D1.82.D0.B8.D0.BA.D0.B0Упоминаются Вирт, Шиперски, Дейкстра, Керниган, Торвальдс.
Короче, я угорал)))
Вообще, я искал релевантный ответ на вопрос "почему препроцессор -- зло". Но там эта тема, тоже малость затронута. Один из возможных ответов в этой статье:"Однако, само существование в спецификации языка препроцессора препятствует анализу исходных кодов программ (даже простому профилированию), а следовательно, и развитию функциональности интегрированных сред разработки, обеспечивающих поддержку разработки крупномасштабных]] ruen прикладных программ — из-за необходимости полного парсинга кода (на языке с неразрешимой грамматикой) с учётом возможности дублирования (не обязательно взаимозаменяемых) фрагментов[62][61][60][63]. Одной из основных функций, ради которых была придумана условная компиляция в Си, является повышение портируемости, но на практике именно портируемость она и снижает[62]."
Вот ещё вкусняшка:"Повышение быстродействия за счёт перевода управления памятью в ручной режим является заблуждением[72]."; "Ключевым свойством, гарантирующим небезопасность[93], является отсутствие и принципиальная невозможность реализации в С++ встроенного автоматического управления памятью"
"Для обеспечения безопасности мало статических проверок — безопасность в первую очередь является следствием простоты[80], так что сложность С++ сама по себе означает существенное снижение безопасности."
"Система проверки согласования типов С++ принимает программы, некорректность которых очевидна, за корректные, вызывая недоумение у сторонников статической типизации[97]. В дополнение, С++ предоставляет много способов вообще обойти систему типов, что приводит к внедрению ошибок, остающихся незамеченными до момента серьёзного отказа]] ruen"
А вот и возражения Кемету в давешней его аргументации по быстродействию:
"Более того, для ссылочно-прозрачных]] ruen языков возможен глобальный анализ потока управления, за счёт чего компилятор в принципе способен производить такие оптимизации программ, какие компилятор небезопасного языка в принципе не способен, что временами позволяет высокоуровневым языкам уверенно конкурировать в быстродействии с Си."
"Испытания показывают, что оптимизированная вручную реализация сборщика мусора средствами языка Си существенно отстаёт по эффективности от стандартного сборщика мусора, встроенного в язык[120][72][64], а в распределённых системах автоматическое выведение представления указателей компилятором высокоуровневого языка обеспечивает кратный прирост быстродействия по сравнению с решениями по их реализации, которые принимают живые программисты[121]."
"У С++ отсутствует то, что имеет большинство языков программирования — формальное определение грамматики[89]. С++ не проектировался как формальная система — вместо этого он рос и мутировал[89][143]. "
Вирт:"С++ — это нападение на человеческий мозг."
"Унаследованный от Си препроцессор предоставляет возможность буквально за минуту внедрить в гигантскую программу труднообнаружимую ошибку, приводящую к непредсказуемому поведению программы[60] (что принципиально невозможно на типобезопасных языках[264])."
Короче, тихий ужос. Мне жаль два месяца потраченных на изучение С++)))))