Редактирование: Языки программирования, 02 лекция (от 07 сентября)

Материал из eSyr's wiki.

Внимание: Вы не представились системе. Ваш IP-адрес будет записан в историю изменений этой страницы.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.

[[Языки программирования, 01 лекция (от 05 сентября)|Предыдущая лекция]] | [[Языки программирования, 03 лекция (от 12 сентября)|Следующая лекция]]

=Этапы развития ЯП=
1954&ndash;1957&nbsp;&mdash; появление  языка [http://ru.wikipedia.org/wiki/Fortran FORTRAN], первого языка программирования. Через 10 лет после выхода FORTRAN, в 1967 в США уже использовалось более 400 языков. Тем не менее из всего многообразия языков можно выделить некоторое количество ''знаковых''.

==Экологические ниши==

===Научно-технические расчеты&nbsp;&mdash; FORTRAN===
''Версии FORTRAN:'' FORTRAN I (1957), FORTRAN  II, FORTRAN IV (1964), FORTRAN 66 (1966), FORTRAN 77 (1977), FORTRAN 96 (1996)

Ряд свойств языка FORTRAN показывает, что он неприменим для создания надёжных программ.

Пример: Фортран глотает пробелы, что резко повышает число ошибок
*цикл
 
 '''(FORTRAN)'''  
 DO 10 I=1,3
   операторы
 10: CONTINUE
Здесь трижды выполняется тело цикла

*он же, но с ошибкой

'''(FORTRAN)'''  
 DO 10 I=1.3
   операторы
 10: CONTINUE

Здесь переменной DO10I присваивается 1.3, затем однажды выполняется тело цикла. Согласно [http://ru.wikipedia.org/wiki/Маринер-1#.D0.98.D0.BB.D0.B8_.D1.81.D0.B0.D0.BC.D0.B0.D1.8F_.D0.B4.D0.BE.D1.80.D0.BE.D0.B3.D0.B0.D1.8F_.D1.82.D0.BE.D1.87.D0.BA.D0.B0.3F одной из легенд], такого рода ошибка привела к аварии на космическом корабле «Маринер-1», повлекшей его уничтожение.

'''Надёжность программы'''&nbsp;&mdash; свойство  программы, которое обратно пропорционально количеству ошибок в ней.

'''Аксиома'''. Абсолютно надёжных  программ не бывает.

Форма записи языковых конструкций на FORTRAN не способствует созданию надёжных программ (пример с точкой вместо запятой), тем не менее, FORTRAN&nbsp;&mdash; самый успешный язык  программирования. Стандарты FORTRAN выпускались в 1966, 1977, 1996 годах, самой популярной версией является стандарт FORTRAN 1977 года. Успешность FORTRAN связана с успешностью занятия ''экологической  ниши языка программирования''.

Языки программирования  подобны биологическим видам, в среде  языков программирования, также, как и  в биологической среде, выживают одни  виды и вымирают другие. При этом ''даже более приспособленным'' видам трудно выгнать из ниши того, кто ее ''уже'' занял. Экологической нишей для ЯП является его проблемная  область. Самой первой проблемной областью  являлись научно-технические расчёты, FORTRAN же был транслятором формул, что  следует из его названия (FORTRAN = Formula  Translator).

В научно-технических  расчётах основной сложностью является  построение математической модели,  программы достаточно просты. НТР  характеризуются малым объёмом данных  и большим объёмом вычислений над ними.

Ещё одно достоинство FORTRAN в том, что он был первый. До  появления FORTRAN математики были  привязаны к вычислительному центру, и  при смене вычислительной системы все  наработки в виде написанных программ  в машинных кодах старой системы  переставали иметь какую-либо ценность. Появление FORTRAN позволяло писать программы и переносить их на любую систему, что давало мобильность ПО.

'''Мобильность ПО'''&nbsp;&mdash; переносимость  ПО с одной системы на другую.

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

Тем не менее, из других  ниш FORTRAN был довольно быстро вытеснен,  т. к. оказался там непригоден.

===Algol-60===

[http://ru.wikipedia.org/wiki/Algol Algol-60] (Algol-58)&nbsp;&mdash; сделаны научной группой во главе с IFIP&nbsp;&mdash; язык для обмена алгоритмами между учёными различных стран и специальностей. Впервые для описания синтаксиса был применён формальный язык (БНФ). Algol получился достаточно простым и достаточно  мощным. Например, программы на Algol впервые имели блочную структуру, также была возможность использования  рекурсии. В результате Algol стал  стандартом для изучения в университетах и&nbsp;т.&nbsp;д.

Роль Algol-60 не только как учебного языка, но и как языка-предтечи, например, для языка [http://ru.wikipedia.org/wiki/Pascal Pascal].

Основная проблема Algol-60 в том, что по своей структуре Algol-60 был похож на FORTRAN и заточен под НТР, посему они претендовали на одну нишу. FORTRAN вытеснил Algol из ниши НТР. Важным в этой нише является  быстродействие и совместимость,  характеризуются они простотой программ.

'''Быстродействие языка (эффективность)'''&nbsp;&mdash; усреднённое  отношение времени выпонения программ, написанных на ЯП, к времени выполнения  программам, написанных на ассемблере  машины.

Эффективность&nbsp;= P<sub>lang</sub>&nbsp;/ P<sub>asm</sub>

FORTRAN достиг такого  уровня, что для FORTRAN О&nbsp;&mdash; оптимизированной  версии (IBM выпускала две версии FORTRAN&nbsp;&mdash; FORTRAN H (для отладки) и FORTRAN О) этот показатель был равен 1.04. Для Algol он находился в прелелах 7&ndash;10. В Algol были неэффективные способы передачи  параметров в функции. Кроме того,  существовавшие в то время архитектуры  не были приспособлены к реализации  Algol-60, например к блочной структуре  программ. Для такой структуры характерно  хранение данных в стеке, аппаратной  реализации которого тогда не делали, и  стек приходилсь моделировать вручную. Язык оказался слишком неэффективный.

=== Коммерческие задачи&nbsp;&mdash; COBOL ===

Ещё одной нишей, появившейся чуть позднее, являются коммерческие задачи&nbsp;&mdash; приложения по обработке коммерческой информации. Они характерны  малым объёмом простых вычислений над  большим объёмом данных, и для таких приложений требовался интенсивный  ввод-вывод. В результате в 1959 году появился язык [http://ru.wikipedia.org/wiki/COBOL COBOL] (Common-Oriented Business Language).

IBM в те годы выпускала  две линейки компьютеров&nbsp;&mdash; 709 для научных  вычислений, и на котороых основным языком программирования являлся FORTRAN, и 14хх для коммерческих задач, которые  были ориентированы на интенсивный ввод-вывод.

Тем не менее, у COBOL тоже имелись недостатки в архитектуре.  Например, в языке COBOL стандартным  представлением даты была структура фиксированного вида MMDDYY, что явилось одной из основной причин [http://ru.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%B1%D0%BB%D0%B5%D0%BC%D0%B0_2000_%D0%B3%D0%BE%D0%B4%D0%B0 проблемы 2000 года]. В настоящее время данный язык является практически  мёртвым, он умер только из-за проблемы 2000. До этого момента он держал нишу довольно крепко.

Кстати, именно проблема 2000 послужила одним из стимулов к разработкам в области реверсного инжиниринга (перевода программ с одного языка на другой), поскольку пользователям COBOL при миграции на другие языки хотелось сохранить и повторно использовать написанные проекты.

===Символьная обработка&nbsp;&mdash; LISP===

Ещё один знаковый язык&nbsp;&mdash; [http://ru.wikipedia.org/wiki/LISP LISP] (LISt Processing). Используется для задач символьной обработки, ИИ. Существует  множество диалектов, самый популярный&nbsp;&mdash; Common LISP. Не применяется для индустриальных  программ, т.&nbsp;к. низкоэффективен (использует списки и деревья, основная операция&nbsp;&mdash; применение функции, чем он и силён). Тем не менее, именно с LISP начинается история функционального программирования.

===Ниши разобраны===

1961 год. Уже тогда были  разобраны все ниши: для системного программирования применялся ассемблер, для прикладного программирования&nbsp;&mdash; LISP, COBOL, для научного применения&nbsp;&mdash; FORTRAN, для обучения&nbsp;&mdash; Algol-60.

==1960&ndash;1980: Поиски Священного Грааля==

До 1980 года происходил  экстенсивный рост количества языков  программирования. Джон Саммит в 1967 году наcчитал 400 языков, применяемых в США.

Тем не менее, в то время появилось много известных языков. То время характеризовалось поиском Священного Грааля&nbsp;&mdash; единого универсального языка программирования, который применялся бы во всех областях. Первой с этой  проблемой столкнулась IBM, которая поняла, что поддерживать две линейки накладно, посему в 1961 году они начали работу над проектом IBM 360 (360 градусов&nbsp;&mdash; полный круг решаемых задач), им хотелось иметь единый ЯП.

===Первая попытка создания  единого языка программирования&nbsp;&mdash; PL/1===

1964&nbsp;&mdash; появление [http://ru.wikipedia.org/wiki/PL/1 NPL] (New  Programming Language), позднее переименованного в PL/1. Создавался комитетом. В нём были  смешаны основные ЯП. Конструкции из FORTRAN, Блочная структура из Algol, понятие записи из Кобола. Майерс сказал&nbsp;&mdash; &laquo;PL/1 был бы хорошим языком  программирования, если из него выкинуть 80 процентов возможностей&raquo;.

В PL/1 могло быть до 30 атрибутов у типов данных&nbsp;&mdash; это слишком много. Все запомнить невозможно, поэтому  вводились правила-умолчания. IBM выпускала две версии трансляторов (по аналогии с  FORTRAN)&nbsp;&mdash; PL O (отладочный) и PL F  (быстрый), но они были немного разными&nbsp;&mdash; программа, работающая после трансляции отладочной версией, могла вылетать во  время работы после трансляции быстрой. Да и спецификации языка чуть отличались.

Только IBM вложила в PL/1 несколько миллиардов, но как язык для  промышленных приложений PL/1 провалился  из-за своей большой сложности.

Анекдот:
 &mdash;&nbsp;Что такое верблюд?
 &mdash;&nbsp;Это лошадь, созданная комитетом.

===Вторая попытка&nbsp;&mdash; Algol-68===

[http://ru.wikipedia.org/wiki/Algol Algol-68]&nbsp;&mdash; вторая попытка создания универсального языка, создан  IFIP, состав которой отличался от группы, создавшей Algol-60. Специально  для описания языка были придуманы  W-грамматики (W от Вирт), которые позволяли  описывать ''и синтаксис, и семантику'' языка. Язык являлся технически совершенным.  В частности, в Algol-68 была попытка  создать ортогональный язык.

'''Ортогональность''' языковых конструкций означает их независимость. То есть языковые конструкции независимы и все, что угодно - оператор.

Например, в [http://ru.wikipedia.org/wiki/Pascal Pascal] конструкция

'''(Pascal)'''
 for  i&nbsp;:=&nbsp;i1 to i2 do

не является ортогональной, т.&nbsp;к. накладываются ограничения, например, на тип данных.

Выражения и операторы не являются ортогональными.

В Algol-68 выражение, после которого стоит &laquo;;&raquo; (точка с запятой) превращается в оператор. И у операторов есть значения. Везде, где  может стоять выражение, может стоять оператор, и наоборот. Таким образом, Algol-68, в отличие от даже [http://ru.wikipedia.org/wiki/%D0%A1%D0%B8_(%D1%8F%D0%B7%D1%8B%D0%BA_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F) C], практически  полностью ортогональный язык.

Пересмотренное сообщение об Algol-68 вышло через 11 лет. В нём были эпиграфы из Винни-Пуха. Больше ничего  там читать невозможно. Algol-68&nbsp;&mdash; первый и последний язык, в котором формально описана семантика.

Algol-68 оказался слишком  сложным. Был сделан транслятор, скорость которого была несколько операторов в минуту, а эффективность получаемого кода на уровне Algol-60. В результате Algol-68 никакую нишу не занял.

Аналогичная история произошла с UNIX. Изначально  разрабатывался MULTIX, но из него вышли некоторые люди и начали  писать UNIX (MULTIX&nbsp;&mdash; много, UNIX&nbsp;&mdash; одиночка).

* 1964&nbsp;&mdash; PL/1
* 1968&nbsp;&mdash; Algol-68

Оба провалились из-за  сложности, и своей миссии не выполнили. С другой стороны, потребность в едином языке была очень высокой.

В 1958 году на языке [http://en.wikipedia.org/wiki/JOVIAL JOVIAL] запрограммировали первые противоракетные сооружения. Так они и работали десятки лет. Но для сопровождения все время нужно было обучать новых программистов. И так дела обстояли со всеми мало-мальски крупными проектами.

===Появление С и Pascal. Простота против сложности===

Этимология  названия языка C: CPL (Cambribge Programming Language)&nbsp;&mdash; BCPL&nbsp;&mdash; B&nbsp;&mdash; C

1969&nbsp;&mdash; появление языка С&nbsp;&mdash; &laquo;машинонезависимого ассемблера&raquo; ([http://ru.wikipedia.org/wiki/%D0%94%D0%B5%D0%BD%D0%BD%D0%B8%D1%81_%D0%A0%D0%B8%D1%82%D1%87%D0%B8 Деннис Ритчи]). В нём впервые ввод-вывод был  выведен из языка. Язык оказался достаточно мощным, чтобы на нём написать системные  библиотеки, в т.&nbsp;ч. библиотеку ввода-вывода. Чёткая экологическая ниша&nbsp;&mdash; cистемное программирование, как замена языку ассемблера.

В 1969 году [http://ru.wikipedia.org/wiki/%D0%9D%D0%B8%D0%BA%D0%BB%D0%B0%D1%83%D1%81_%D0%92%D0%B8%D1%80%D1%82 Вирт] написал  Pascal. &laquo;Мне надоело&raquo;&nbsp;&mdash; сказал Вирт о том, что раньше он просто не мог объяснять студентам язык, который нельзя объяснить логично. Pascal очень быстро занял образовательную нишу. Дейкстра: &laquo;Языки  типа FORTRAN и COBOL калечат мозги и  поэтому их преподавание должно  приравниваться к преступлению&raquo;. На основе Pascal создано множество более современных и удачных ЯП (Turbo Pascal, [[Delphi]]), используемых  в индустриальном программировании.

В результате, простота  оказалась лучше сложности.

===Третья попытка&nbsp;&mdash; Язык Ada===

В Пентагоне поняли, что денег на программистов уходит много.Проанализировали  расходы на ПРО систем реального времени. И получилось:

* 50%&nbsp;&mdash; вложено в систему после того, как её приняли в разработку&nbsp;&mdash; сопровождение (maintenance)
* 25%&nbsp;&mdash; тестирование  и исправление ошибок
* 15%&nbsp;&mdash; составление документации и спецификаций
* 10%&nbsp;&mdash; написание кода

При первом запуске системы ПРО она стреляла по Луне&nbsp;&mdash; явная ошибка, которую трудно выявить на этапе проектирования.
 Отсюда следует острая необходимость сопровождения.

Дорогое сопровождение за счёт отсутствия стандартизации языка.

Как оказалось, в Пентагоне (Минобороны) использовалось 350 языков, из них 10 популярных, остальные крайне редки, поэтому и так дорого сопровождение. Так почему же оружие стандартизировано, а ЯП нет?

Как следствие, было принято решение в унифицировать ЯП&nbsp;&mdash; в результате которого должны были быть  выбраны порядка трёх ЯП. Вначале был создан Комитет и первый список требований,  потом второй список требований и&nbsp;т.&nbsp;д. В ходе анализа требований выяснилось, что достаточно одного ЯП, &laquo;Стальные требования&raquo;. Изначально было выделено три языка, на которые должен быть похож кандидат:

* Pascal
* Algol-68
* PL/1

Был объявлен тендер, и из 12 языков были выбраны 4, все на основе Pascal, на втором этапе был выбран  один, который назвали языком [http://ru.wikipedia.org/wiki/ada Ada] (1980). Окончательный стандарт языка вышел в 1983 году. Стандарт запрещал как создание над-, так и подмножеств. К тому же  планировалось, что Пентагон будет закупать программы только на языке Ada. Также был создан верификатор программ. Также предполагалось использовать только сертифицированные компиляторы.

Создатели Ada&nbsp;&mdash; французская группа. Кроме того, она  написала обоснование проекта, в котором  были указаны основные особенности  дизайна языка:

* Надёжность
** '''Статический контроль'''&nbsp;&mdash; проверки при трансляции (например, выход за границы массива для a[10])
** '''Квазистатический контроль'''&nbsp;&mdash; проверки при выполнении (выход за границы массива для a[i])
* Эффективность
** Все, что летает, стреляет и падает в реальном времени, дольжно реагировать быстро. Ada не была столь быстра.
* Читабельность
** Обязательное требование для maintance

Механизм обработки исключений впервые появился в языке Ada.

Главным понятием в Ada было понятие АТД (Абстрактный Тип Данных).

Тем не менее, язык Ada оказался черезчур сложным. Сложный язык&nbsp;&mdash; сложный компилятор. Скорость трансляции&nbsp;&mdash; 3 строки в минуту.

===Объектно-ориентированные  языки программирования===

Появилась новая парадигма — ООП. Она довольно быстро завоевала  популярность, посему не объектно-ориентированные языки или погибли, или в них добавили  ООП (Pascal, C)

* 1980&nbsp;&mdash; [http://ru.wikipedia.org/wiki/SmallTalk SmallTalk V]
* 1983&nbsp;&mdash; [http://ru.wikipedia.org/wiki/C%2B%2B C++]
* и другие объектные ЯП.
* 1980&nbsp;&mdash; [http://ru.wikipedia.org/wiki/Modula Modula-2] (описание  на 40 страниц)

Ada вымерла, т.&nbsp;к. не поддерживала объектно-ориентированную парадигму, была очень сложна и очень медленна.

1995&nbsp;&mdash; Ada 95, включившая в себя еще и объектно-ориентированную парадигму. Стало еще сложнее и неподъемнее. Больше грааль не искали.

==Неоднозначности в языках  программирования==

Например, в Algol-60:
Условие записывается в двух формах:

'''(Algol-60)'''
 if  b then
   S1

'''(Algol-60)'''
 if  b then
   S1
 else
   S2

Если записать

'''(Algol-60)'''
 if  B then
   S
 if  B then
   S1
 else
   S2

то возникает  неоднозначность: непонятно, куда относится S2&nbsp;&mdash; ко внутреннему условию  или ко внешнему. Эта неоднозначность  была найдена [http://ru.wikipedia.org/wiki/%D0%94%D0%BE%D0%BD%D0%B0%D0%BB%D1%8C%D0%B4_%D0%9A%D0%BD%D1%83%D1%82 Кнутом].

Пожалуйста, обратите внимание, что все ваши добавления могут быть отредактированы или удалены другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. eSyr's_wiki:Авторское право).
НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Описание изменений:

Отменить | Справка по редактированию (в новом окне)

Шаблоны, использованные на этой странице:

Получено с http://esyr.org/wiki/%D0%AF%D0%B7%D1%8B%D0%BA%D0%B8_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B8%D1%80%D0%BE%D0%B2%D0%B0%D0%BD%D0%B8%D1%8F%2C_02_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D1%8F_%28%D0%BE%D1%82_07_%D1%81%D0%B5%D0%BD%D1%82%D1%8F%D0%B1%D1%80%D1%8F%29

Редактирование: Языки программирования, 02 лекция (от 07 сентября)

Материал из eSyr's wiki.

Просмотры

Личные инструменты

Навигация

инструменты

Разделы

Спецкурсы

9 семестр

7 семестр

5 семестр

3 семестр

Поиск

Инструменты

@@ Строка 169: / Строка 169: @@
 ** '''Квазистатический контроль'''&nbsp;&mdash; проверки при выполнении (выход за границы массива для a[i])
 * Эффективность
-** Все, что летает, стреляет и падает в реальном времени, должно реагировать быстро. Ada не была столь быстра.
+** Все, что летает, стреляет и падает в реальном времени, дольжно реагировать быстро. Ada не была столь быстра.
 * Читабельность
 ** Обязательное требование для maintance