Лекция 01. Тема Общая характеристика языков программирования высокого уровня

1.2. Категории языков программирования. 
Императивные языки 
Определение. 
Императивным 
языком 
называется 
язык 
программирования, который основан на принципах фон Неймана. Именно 
поэтому императивный язык включает следующие языковые структуры и 
объекты:

понятие «переменной», являющейся базовым объектом языка и 
абстрактным аналогом ячейки оперативной памяти;

операторы ввода/вывода данных в/из ячейки оперативной памяти; 

операторы присваивания, отражающих пересылки данных между 
ячейками; 

команды управления (условного и безусловного перехода, 
многовариантного ветвления, циклических конструкций).

---

К данной категории относятся классические языки, такие как Fortran, 
Algol, С, С++, Pascal и пр.
Пособие посвящено вопросам разработки и построения именно 
императивных языков программирования высокого уровня. Другие 
категории языков рассмотрены в ознакомительном порядке.
Языки объектно-ориентированного программирования (ООП) 
Все используемые на сегодняшний день языки, такие как Visual C++, 
Delphi, Fortran90, ADA95 и пр., содержат объектную модель данных и 
обладают, наряду, с императивными, также свойствами ООП, т.е., по сути, они 
являются императивными языками, но с объектной надстройкой. Только язык 
Smalltalk80 остается единственным в чистом виде языком ООП. Наиболее 
близким к парадигме ООП на сегодняшний день является также и язык Java. В 
нашем курсе пониманию идей, которые были положены в основу ООП, 
посвящена глава 5.
Функциональные языки
Осуществляют вычисления с помощью математических функций над 
двумя структурами данных: атомами (символами языка) и списками 
(последовательностью атомов). Понятия переменной, как модели ячейки 
оперативной памяти, оператора, выполняющего действия над содержимым 
ячеек в таких языках отсутствуют. Поэтому для реализации 
функциональных языков требуется не неймановская архитектура, однако 
таковой на сегодняшний день не существует. Первым языком (и наиболее 
распространенным), 
поддерживающим 
парадигму 
функционального 
программирования, является язык LISP. Затем возникли его диалекты, такие 
как Scheme, ML, COMMON LISP, Haskell, которые приобрели некоторые 
императивные свойства: переменные, операторы присваивания и цикла. Это 
объясняется неэффективной реализацией чисто функционального языка на 
ЭВМ, сконструированной в соответствии с архитектурой фон Неймана.