Суть вот в чем. Сам я владею несколькими языками, но вполне на простом уровне. Недавно наткнулся на ряд интересных статей и книг. Например, о автоматном программировании или о различных моделях программ (statefull, stateless) и т.д.
И тут вот что понял. Я изучал языки, причём утилитарно, преимущественно. А сейчас захотелось теорию программирования, программных систем, философию, что ли, всей этой науки постигнуть. Да хотя бы просто почитать. Есть книги, которые обозревают суть вышесказанного с высоты птичьего полёта? Не тактика, а стратегия. Как-то так
но тут С++ Elements of Programming / Начала программирования
Год издания: 2011
Автор: Alexander Stepanov, Paul McJones / Александр Степанов, Пол Мак-Джоунс
Переводчик: Константин Птицын
Издательство: ООО "И. Д. Вильямс"
ISBN: 978–5–8459–1708–9
Язык: Русский
От математики к обобщенному программированию
Год: 2015
Автор: Степанов А., Роуз Д.
Переводчик: Слинкин А.
Издательство: ДМК Пресс
ISBN: 978-5-97060-289-8
Язык: Русский
Классика: "Structure and Interpretation of Computer Programs" - "Структура и интерпретация компьютерных программ". Это наиболее фундаментальный и классический учебник по теме. Есть и в оригинале, и в переводе на русский.