Как я заметил, языки как будто поднимаются по какой-то невидимой лестнице, т.е. идут по пути всё большей и большей независимости от среды выполнения и операционной системы, а их авторы постепенно отказываются от некоторых вещей, оставшихся ещё со времён архитектуры Фон-Неймана:
▪ Отказались от ячеек памяти, придумав структуры и списки (Алгол-58 и Лисп),
▪ Отказались от оператора безусловного перехода, придумав циклы (ПЛ/1 с Паскалем),
▪ Отказались от многословного синтаксиса предыдущих языков, добавили макросы (K&R C),
▪ Отказались от указателей, заменив их ссылками и добавив сборку мусора (скрипты и Java),
▪ Отказались от ссылок в глобальной области видимости (Erlang, Scala — наконец-то!!) и т.д...
