1. Классификация
1.1. Языки низкого уровня
1.1.1. машинные языки
1.1.2. языки ассемблера
1.2. Языки высокого уровня
1.3. Способы реализации языков программирования
1.3.1. компиляция
1.3.2. интерпретация
1.3.3. встраивание
1.4. Парадигма программирования
1.4.1. процедурное программирование
1.4.2. объектно-ориентированное программирование
1.4.3. императивное программирование
1.4.4. декларативное программирование
1.4.5. функциональное программирование
1.4.6. логическое программирование
2. Популярность языков
2.1. Метрики для измерения популярности языков
2.1.1. подсчёт числа вакансий, упоминающих язык
2.1.2. количество проданных книг (учебников или справочников)
2.1.3. оценка количества строк кода, написанных на язык
2.1.4. подсчёт упоминаний языка в запросах поисковиков
3. История
3.1. Ранние этапы развития
3.1.1. XIX век, музыкальная шкатулка
3.1.2. Жаккардовый ткацкий станок, 1804 г.
3.1.3. Математические абстракции, 1930—1940 г. А. Чёрч, А. Тьюринг, А. Марков
3.1.4. Электрические цифровые компьютеры, ЯП «Plankalkül» 1940 г.
3.1.5. Фортран, Лисп и Кобол, середина 1950-х
3.2. Совершенствование
3.2.1. Основные парадигмы языков программирования, 1960 — 1970 г.
3.2.1.1. Язык APL оказал влияние на функциональное программирование и стал первым языком, поддерживавшим обработку массивов
3.2.1.2. Язык ПЛ/1 (NPL), 1960 г. Объединение лучших черт Фортрана и Кобола.
3.2.1.3. Язык Snobol ввёл в число базовых операций языков программирования сопоставление с образцом
3.2.1.4. С 1969 по 1973 годы разработка языка Си
3.2.1.5. 1973 г. в языке ML реализована расширенная система полиморфной типизации, положившая начало типизированным языкам функционального программирования.
4. Спецификация языков
4.1. Стандартизация
4.2. Алфавит
4.3. Грамматика
4.4. Семантика
4.4.1. операционная
4.4.2. аксиоматическая
4.4.3. денотационная