• Языки низкого уровня (Ассемблер)
• Языки высокого уровня

• Языки 1-го поколения 1GL (машинные)
• Языки 2-го поколения 2GL (1950-е, Ассемблер,Фортран, Алгол)
• Языки 3-го поколения 3GL (высогого уровня, интерпретация, Lisp)
• Языки 4-го поколения 4GL (1970-1990среды разработки, проблемно-ориентированные)
• Языки 5-го поколения 5GL (середина 90-х, автоматизация программирования)

• Компилируемые (неуправляемый код)
• Интерпретируемые (управляемый код)
• Встраиваемые

• Языки первого порядка
• Языки высшего порядка

• Безопасные языки ("не выходят за рамки допустимого поведения", доказуемые)
• Небезопасные языки (С, С++)

• В мелком масштабе
• В крупном масштабе (язык модулей ML)

Парадигмы программирования

• Функциональные
• Императивные
• Процедурные
• Объектно-ориентированные
• Прототипные
• Стековые
• Аспектно-ориентированные
• Логические
• РЕФАЛ (воплощает уникальную парадигму, не имеющую общепринятого названия)

• Декларативные (SQL, HTML )
• Динамические (Perl, Tcl, Python, PHP, Ruby, Smalltalk, JavaScript, Scala)
• Учебные
• Предметно-специфичные
• Скриптовые (сценарные)
  • командно-сценарные (JSL, REXX)
  • прикладные сценарные (AutoLisp)
  • универсальные сценарные (Lua, PHP, Python, Ruby)
• Эзотерические