1. По уровню
1.1. Языки программирования сверхвысокого уровня
1.1.1. Алгол-68
1.1.2. APL
1.2. Языки программирования высокого уровня
1.2.1. Фортран
1.2.2. Алгол
1.2.3. Кобол
1.2.4. Паскаль
1.2.5. Бейсик
1.2.6. Си
1.2.7. Пролог
1.2.8. Ассемблер
1.2.9. Автокод
1.3. Языки программирования низкого уровня
1.3.1. Автокод
2. По виду обрабатываемой информации
2.1. Вычислительные языки
2.1.1. Фортран
2.1.2. Паскаль
2.1.3. Алгол
2.1.4. Бейсик
2.1.5. Си
2.2. Язык символьной обработки
2.2.1. Лисп
2.2.2. Пролог
3. По направлению развития
3.1. Процедурное
3.1.1. Структурные
3.1.1.1. Паскаль
3.1.1.2. Си
3.1.1.3. Ада
3.1.1.4. ПЛ/1
3.1.2. Операционные
3.1.2.1. Фортран
3.1.2.2. Бейсик
3.1.2.3. Фокал
3.2. Непроцедурное (декларативное)
3.2.1. Функциональные
3.2.1.1. Лисп
3.2.1.2. Hope
3.2.1.3. Miranda
3.2.1.4. Haskell
3.2.1.5. ML
3.2.1.6. Пифагор
3.2.1.7. Erlang
3.2.2. Логические
3.2.2.1. Planner
3.2.2.2. Пролог
4. Объектно - ориентированные языки высокого уровня
4.1. Objekt pascal
5. По поколению
5.1. Первое поколение
5.1.1. Языки машинных команд
5.2. Второе поколение
5.2.1. Ассемблер
5.2.2. Языки макроассемблера
5.3. Третье поколение
5.3.1. Фортран
5.3.2. Алгол
5.3.3. Кобол
5.3.4. Бейсик
5.3.5. ПЛ/1
5.3.6. Паскаль
5.3.7. Ада
5.4. Четвертое поколение
5.4.1. Пролог
5.4.2. Simula
5.4.3. SmallTalk
5.4.4. Си++
5.4.5. Язык SQL
5.5. Пятое поколение
5.5.1. InterLisp
5.5.2. IQLisp
5.5.3. SAIL
5.5.4. Clout
5.5.5. HAL