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.3. Языки программирования низкого уровня
1.3.1. Ассемблер
1.3.2. Автокод
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. Пролог
2.2.3. Снобол
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. Первое поколение
4.1.1. Языки машинных команд
4.2. Второе поколение
4.2.1. Ассемблер
4.2.2. Языки макроассемблера
4.3. Третье поколение
4.3.1. Фортран
4.3.2. Алгол
4.3.3. Кобол
4.3.4. Бейсик
4.3.5. ПЛ/1
4.3.6. Паскаль
4.3.7. Ада
4.4. Четвертое поколение
4.4.1. Пролог
4.4.2. Langin
4.4.3. Simula
4.4.4. SmallTalk
4.4.5. Си++
4.4.6. язык SQL
4.5. Пятое поколение
4.5.1. InterLisp
4.5.2. IQLisp
4.5.3. SAIL
4.5.4. Clout
4.5.5. HAL