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

Лекция 02. 
1.4. Характеристики основных языков. 
На развитие языков программирования высокого уровня оказывают 
влияние несколько факторов. Во-первых, архитектура вычислительной 
машины, во-вторых, методологии программирования. При этом под 
методологией (от греч. «учение о методах») будем понимать систему 
принципов и способов организации и построения теоретической и 
практической деятельности, а также учение об этой системе. В этой связи 
следует упомянуть о трех методологических системах, которые являются 
базовыми факторами, повлиявшими и на состав языковых средств, и на 
технологию программирования:
1. Структурное (процедурное) программирование,
2. Информационно-ориентированное программирование,
3. Объектно-ориентированное программирование.
Третьим фактором является сложность и масштабность задач, 
необходимость реализации которых возникает в практической жизни. 
На рисунке 1.1 приведена схема [1], отражающая хронологию и влияние 
языков друг на друга. Ниже дается краткая характеристика основных языковых 
групп, которые внесли наибольший вклад в разработку систем 
программирования.
Группа языков FORTRAN 
Для первых версий языка FORTRAN (1955 г.) характерно:

длина идентификаторов менее 6 символов;

отсутствие операторов описания типов данных: типы данных 
присваивались по умолчанию (переменные, имена которых 
начинаются с букв i, j, k, l, m, n – всегда целого типа, все остальные 
– вещественного);

наличие только арифметического оператора условного перехода; 

отсутствие раздельной компиляции подпрограмм;

---


система типов включала только 4 базовых типа данных;

массивы только статические, их размерность не превышала 3;

цикл только типа пересчета (FOR…);

практически отсутствовала проверка типов данных.
Рисунок 1.1. Генеалогия распространенных языков 
программирования. Источник [1]
В языки FORTRAN-II, FORTRAN-IV были введены следующие 
возможности: 

независимая компиляция подпрограмм;

операторы описания типов;

логический оператор IF…THEN;

оператор описания общих областей COMMON;
B 
C++ 
C 
BCPL 
CPL 
PL/I 
BASIC 
AP
L 
SIMULA 67 
Scheme 
FORTRAN IV 
ALGOL 68 
Oberon 
ALGOL 
58 
ALGOL 
60 
FLOW-
MATIC 
SIMULA 
I 
ALGOL 
W 
Pascal 
MODULA-3 
Elffel 
Java 
Ada 95 
QuickBASIC 
VisualBASIC 
Smalltalk 
80 
Ada 83 
MODULA-2 
COBOL 
1957 
58 
59 
60 
61 
62 
63 
64 
65 
66 
67 
68 
69 
70 
71 
72 
73 
74 
75 
76 
77 
78 
79 
80 
81 
82 
83 
84 
85 
86 
87 
88 
89 
90 
91 
92 
93 
94 
FORTRAN 
I 
FORTRAN II 
FORTRAN 77 
FORTRAN 90 
COMMON LISP 
ICON 
SNOBOL 
LISP 
ANSI C 

---


оператор EQUIVALENCE, который определял единую память для 
нескольких переменных;

довольно большая встроенная библиотека математических функций.
В язык FORTRAN-77 введены:

символьные строки;

логический оператор условного перехода IF…THEN…ELSE;

циклы с условием (WHILE…);
В языке FORTRAN-90 реализованы:

динамические массивы;

указатели;

структурные типы данных;

операторы CASE, CYCLE (переход на «голову цикла» без выхода из 
него);

поддержка объектно-ориентированного программирования;

реализована обширная встроенная математическая библиотека.
Группа алголоподобных языков
Версия языка ALGOL 1958 г. по сравнению с первой версией 
FORTRAN уже обладала:

операторами описания типов данных;

составными операторами;

вложенными операторами условного перехода логического типа 
if…then….else;

массивами любой размерности.
В язык ALGOL-60 были введены:

блочная структура программы: 
begin 
var a,b,c; 
…..
end;

передача параметров в подпрограммы, как по значению, так и по 
ссылке;

---


рекурсивные подпрограммы;

автоматические массивы.
Язык ALGOL-68 пополнился:

динамическими массивами;

указателями;

некоторыми типами, определяемыми пользователем;

оператором многовариантного ветвления switch.
Наследниками семейства языков ALGOL являются: язык Pascal, 
обладающий такими качествами как простота, выразительность, надежность; 
его объектно-ориентированный вариант Delphi; машинно-независимый язык 
С и его потомки С++, Java, С#, поддерживающие абстрактные типы данных и 
ООП.
Язык Ada (1983 г.) является продуктом мирового проекта разработки 
языка программирования. Он создавался с целью стать универсальным 
стандартом, взамен сотен других языков, используемых в разных проектах. 
Язык Ada воплощает большинство концепций, существовавших на конец 
1970-х годов, включая:

пакеты как средство поддержки абстрактных типов данных;

настраиваемые подпрограммы (подпрограммы, типы параметров 
которых заранее не определены, поэтому одной подпрограммой 
можно обрабатывать данные, различных типов);

наличие обширных средств обработки исключительных ситуаций;

возможность параллельного выполнения процессов, оформленных в 
виде специальных блоков (заданий), на базе механизма рандеву.
Ada-95 характеризуется:

средствами разработки графического интерфейса пользователя;

поддержкой ООП;

наличием обширных библиотек;

усовершенствованием механизмов параллельной обработки данных 

---

посредством инкапсулированного задания.

---