Уровни программирования

Таксономия

Иногда чтобы можно было понять, чем схожи те или иные объекты исследования, мы вводим таксономию, классификацию. В этом посте я провожу естественную классификацию языков программирования, в 5 уровней от 0 до 4-го. При этом чем выше уровень, тем дальше язык от машинных кодов.

Уровень 4

Это уровень скриптов, простых программ объединяющих несколько других программ или библиотек. Самыми знаковыми являются тройка из LAMP стека — PHP, Perl, Python. Ruby on Rails приобрела широкую популярность, так же Lua, Groovy.

Уровень 3

Управляемые языки, где в основу положена продуманная виртуальная машина. Цель проста — отсутствие багов связанных с нарушением целостности доступа к памяти. Из средств — сборщик мусора и JIT компилятор. Основные языки — Java (JVM) и C# (CLR). Отдельного внимания заслуживает Beam (Erlang), как распределенная виртуальная машина.

Уровень 2

Системные языки с опциональным сборщиком мусора. Таких совсем немного — D и Go, также Nim. Особенность таких языков большая гибкость применения. Компиляция при это AOT.

Уровень 1

Языки класса C/C++. На них пишутся операционки и драйверы к ним. Основной критерий — можно ли преобразовать число в указатель и наоборот.

Уровень 0

Язык ассемблера, здесь можно точно гарантировать какие инструкции будут выполняться процессором. Придется правда создать собственные конвенции вызова и может быть механизм корутин.