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

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

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

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

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

==Этапы развития ЯП==

Все основные идеи  появились в первые 15&ndash;20 лет, всё новое&nbsp;&mdash; хорошо забытое старое.

===Второй этап развития языков программирования===

Второй этап развития языков программирования (20&ndash;25) лет. Знаменовался экспоненциальным ростом  ЯП и тремя попытками создания универсальных языков программирования: [http://ru.wikipedia.org/wiki/PL/1 PL/1], [http://ru.wikipedia.org/wiki/Algol Algol-68], [http://ru.wikipedia.org/wiki/Ada Ada]. Все три проекта были обречены на  неудачу. Все три языка провалились из-за повышенной сложности. [http://ru.wikipedia.org/wiki/Pascal Pascal] и [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) С] отличает предельная простота.

===Два основных принципа дизайна ЯП===

Создание ЯП аналогично собиранию вещей в путь.
* принцип сундучка&nbsp;&mdash; брать все то, что в принципе может понадобиться
* принцип чемоданчика&nbsp;&mdash; брать только то, без чего совсем нельзя обойтись (он же прнцип минимальности языковых конструкций)

Ключевое понятие&nbsp;&mdash; технологическая потребность.

Какие свойства критичны  с точки зрения индустриального  программирования: 
* Технологические потребности
** Особенно&nbsp;&mdash; раздельная компиляция
** Объектная ориентация
* Производительность кода

Недостаток Ada и [http://ru.wikipedia.org/wiki/Modula Modula-2]&nbsp;&mdash; они не являются объектно-ориентированными языками. Но Modula-2 все равно лучше, так как проще.

===1967&nbsp;&mdash; Simula-2===

В [http://ru.wikipedia.org/wiki/Simula Simula-2] появлилась концепция  класса, новые объекты создаются в  динамической памяти оператором new. Но производительнось генерируемого кода была слишком низкая.

===1980&nbsp;&mdash; Smalltalk V===

Apple писала на Pascal, фактически это было основой систем LISA. Первая версия Windows также поддерживала вызов процедур как на Pascal, так и на C (отличаются передачей параметров).

ООП языки должны  поддерживать все эти вещи ([http://ru.wikipedia.org/wiki/SmallTalk SmallTalk] поддерживал):
* Наличие понятие объекта, типа данных, инкапсуляции
* Наследование
* Полиморфизм
** Переопределение стандартных операций, например, операции &laquo;+&raquo; (в [http://ru.wikipedia.org/wiki/Java Java] такого нет)
** Переопределение методов. По-разному для разных объектов

Smalltalk погубила его неэффективность.

===1979&ndash;…&nbsp;&mdash; C++===

Simula [http://ru.wikipedia.org/wiki/%D0%A1%D1%82%D1%80%D0%B0%D1%83%D1%81%D1%82%D1%80%D1%83%D0%BF,_%D0%91%D1%8C%D1%91%D1%80%D0%BD Страуструпу] нравилась всем, кроме эффективности.

Страуструп хотел  разработать язык, который был бы так же строен и красив, как Simula, и эффективен, как ассемблер. А так как он работал в Bell Labs для '''AT&T''', то в качестве основы был выбран  С, в результате язык получил название &laquo;С с классами&raquo; ("C with classes"). Основным критерием при создании С с классами была совместимость, в частности, с UNIX и её системными  библиотеками.

1983&nbsp;&mdash; язык получил имя [http://ru.wikipedia.org/wiki/%D0%A1%2B%2B C++]. Этот язык не имел никаких квазистатических проверок, что существенно ускоряло работу.

В Kernigan&Ritchie C при отсутствии  поля выдавалось только предупреждение, а не ошибка. P->fld при отсутствии поля fld заменялся просто на P

В последних версиях появился квазистатический контроль&nbsp;&mdash; dynamic_cast.

С++ добавил к С две  мощные концепции:
* Концепция класса
* Аппарат наследования (в&nbsp;т.&nbsp;ч. множественного) и полиморфизма
Все перечисленные преимущества позволили языку получить статус профессионального.

===1988&nbsp;&mdash; Oberon и Eiffel===
Вирт получил премию  Тьюринга за изобретение совокупности  языков программирования (Algol W, Euclide, PL/360, Pascal, Modula, Modula-2, Oberon, Oberon-2).

Из Modula было выкинуто определённое количество конструкций и добавлено наследование. Сообщение об Обероне занимало 10 страниц. Компилятор составлял 4000 строк.

Eiffel&nbsp;&mdash; широко известен в узких кругах.

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

Delphi&nbsp;&mdash; наследник языка Turbo Pascal. В Turbo Pascal 6 можно вызывать функцию как процедуру.

В этих языках объекты  заводятся только в динамической памяти.

* 1990-е&nbsp;&mdash; Delphi (Borland)
* 1995&nbsp;&mdash; Java (Sun)
* 1999&nbsp;&mdash; [http://ru.wikipedia.org/wiki/%D0%A1%D0%B8_%D1%88%D0%B0%D1%80%D0%BF C#] (Microsoft)

В этих языках реализованы схожие идеи и модные нынче тенденции.

Java&nbsp;&mdash; основной язык  для создания программ в гетерогенной  среде (Сети).

Одним из принципов Java является принцип WORA&nbsp;&mdash; Write Once, Run Anywhere. Это достигнуто с  помощью Java Virtual Machine (JVM). Был  разработан байт-код, который эта машина интерпретирует уже на конкретной архитектуре. Корни: UCSD Pascal. Для разных версий Pascal писался интерпретатор P-кода, который  получался при компиляции в него.

В Microsoft решили, что определяющим является не  язык, а библиотека, и сделали .NET и CLR (Common Language Runtime). Был  создан MIL&nbsp;&mdash; Microsoft Intermediate Language, в который транслируется код на  разных языках.
 С#, VC++.NET, JS.NET, WB.NET => MIL (байт-код)

Различия между JVM и MIL:
JVM интерпретируется,  MIL компилируется JIT-компилятором (Just In Time).

MS JVM была быстрее Sun JVM из-за того, что у MS опыта больше в создании JIT-компиляторов (полученного ещё во времена разработки Visual Basic).

Delphi&nbsp;&mdash; компромисс между VB и С++.

C#&nbsp;&mdash; замена от MS, вытеснившая Delphi из своей ниши.

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

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

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

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

Получено с http://esyr.us/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_03_%D0%BB%D0%B5%D0%BA%D1%86%D0%B8%D1%8F_%28%D0%BE%D1%82_12_%D1%81%D0%B5%D0%BD%D1%82%D1%8F%D0%B1%D1%80%D1%8F%29

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

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

Просмотры

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

Навигация

инструменты

Разделы

Спецкурсы

9 семестр

7 семестр

5 семестр

3 семестр

Поиск

Инструменты

@@ Строка 13: / Строка 13: @@
 Создание ЯП аналогично собиранию вещей в путь.
 * принцип сундучка&nbsp;&mdash; брать все то, что в принципе может понадобиться
-* принцип чемоданчика&nbsp;&mdash; брать только то, без чего совсем нельзя обойтись (он же принцип минимальности языковых конструкций)
+* принцип чемоданчика&nbsp;&mdash; брать только то, без чего совсем нельзя обойтись (он же прнцип минимальности языковых конструкций)
 Ключевое понятие&nbsp;&mdash; технологическая потребность.