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

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

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

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

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

==Концептуальная схема  построения языка программирования==

5 позиций, с точки зрения  которых рассматривается ЯП

# Технологическая позиция
#*Мы занимаемся рассмотрениям  	языков индустриального программирования. В индустрии существует свои технологические потребности. Например, есть технологическая потребность&nbsp;&mdash; раздельная трансляция, возможность создания библиотек. И технологическая позиция — рассмотрение   с точки зрения удовлетворения технологическим потребностям. Одна из основных позиций при рассмотрении языков программирования
# Реализация
#*Позиция человека, который реализует те или иные конструкции языка. Есть мнение, что ЯП можно и нужно рассказывать без учёта реализации. Ряд авторов придерживаются этой позиции, но лектору эта точка зрения не совсем нравится, так как некоторые конструкции языка удобнее рассказывать с точки зрения  реализации, например, механизм позднего связывания в [[С++]]. Множественное наследование в полной мере реализовано только в С++. И при обсуждении необходимости его всё скатывается к труднообъяснимым аргументам. В то же время, если рассматривать таблицу виртуальных методов, то есть реализацию, то многие вещи становятся понятными. Эта позиция будет присутствовать как добавочная
# Авторская позиция
#*Так как язык выглядит с точки зрения автора. ЯП&nbsp;&mdash; система компромиссов. [[PL/1]]&nbsp;&mdash; бескомпромиссный язык, поэтому и провалился. Часто компромиссное решение хуже, чем любое из предложенных, поэтому  компромиссы не должны составлять весь язык. Авторская позиция рассматривает различные за и против включения тех или иных сущностей в язык. Примером является книга [[Страуструп|Страуструпа]], Дизайн С++. Вопрос &laquo;почему&raquo;&nbsp;&mdash; один из главных в курсе
# Семиотическая позиция
#*Семиотика&nbsp;&mdash; наука о символах. Рассмотрим язык как знаковую систему. Тогда семиотика рассматривает прагматику дизайна языка, т.е. &laquo;зачем&raquo;.
# Социальная позиция
#*Иногда нельзя не учитывать те или иные аспекты развития языка программирования в отрыве от общества. Например, [[Delphi]] лучше [[BASIC|VB]] по всем четырём предыдущим позициям, но в результате популярнее стал VB. Так что важно учесть кем, в каком контексте и для кого разрабатывался язык.

Понятно, какая за VB стоит мощная волосатая рука

'''Закон экологических ниш'''&nbsp;&mdash; экологическую нишу занимает, как правило, один вид.

Основные позиции, рассматриваемые в курсе&nbsp;&mdash; технологическая  и авторская.

===Структура ЯП===

# Базисные средства
#* Cкалярные (простые типы, операции)
#* Cтруктурные (структуры и конструкции)
# Средства развития (поддержка библиотек, типы данных, АТД, модули, классы)
# Средства защиты (абстрактные типы данных, инкапсуляция)

Первая  привязка X клиентов к протоколу была на  [[LISP]]. Вторая на [[С]]. /* MIT */ То же касается первых реализаций Xt, Athena, Motif (тоже сначала на С). Все было хорошо, ООП смоделированно, библиотека работает, но не защищена.

==Основные понятия: данные, операции, связывание==

Нас интересуют те  исполнители, которые обрабатывают  некоторые данные

===Данные / операции===

Есть тип строка. И  сравним его в [[С]] и [[Pascal]]. В С строка&nbsp;&mdash; последовательность байтов, заканчиваемая  нулём (ASCIIZ-строка), в Pascal&nbsp;&mdash; строки со счётчиком длины. И для узнавания длины  строки в С нужно делать операцию расчёта  длины, в Pascal это данные&nbsp;&mdash; 0<sup>й</sup> байт. То есть, то, что в Pascal является  данными, в С является операцией.

В Pascal шиковали, давая имя нулевому байту строки

'''(Pascal)'''
 var S: string absolute len:byte;

'''Объект'''
* состояние&nbsp;&mdash; моделируется членами класса
* поведение&nbsp;&mdash; моделируется сообщениями и их посылкой

В [[С++]] возникают getters/setters, что проявляет дуализм. В [[С#]], [[Delphi]] имеется механизм get/set для полей класса, называемых '''property''' (свойство).

'''(C#)'''
 class C
 {
     public T X
     {
         get() { ... }
         set() { ... }
     }
 }

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

Тип данных характеризуется  множеством значений&nbsp;&mdash; представление начала 60<sup>х</sup>  годов. Современная точка зрения: тип  данных&nbsp;&mdash; множество значений (состояние) и множество операций (поведение). Например, стек характеризуют именно операции push и pop, а не тип элементов стека.

'''Абстрактный тип данных'''&nbsp;&mdash; множество операций, без состояния.

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

===Основные характеристики  данных===

# Имя (но бывают и безымянные объекты)
# Значение
# Область видимости
# Время жизни

'''Область видимости (действия)''' начинается от языковой  конструкции, где вводится объект данных. С каждым объектом связываются тип, область действия, время жизни.

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

В C# есть Image есть метод LoadFromFile, который загружает графический  файл. И закрывается этот файл тогда,  когда исчезает объект Image. Соответственно, его нельзя открыть повторно&nbsp;&mdash; недостаток C#. // примечание: смешиваете в одну кучу язык сишарп и библиотеку framework

В [[Языки программирования, 05 лекция (от 19 сентября)|следующий раз]] будет адская семантика.

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

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

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

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

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

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

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

Просмотры

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

Навигация

инструменты

Разделы

Спецкурсы

9 семестр

7 семестр

5 семестр

3 семестр

Поиск

Инструменты

@@ Строка 85: / Строка 85: @@
 * хранимые (persistent)
-В C# есть класс Image, у него есть метод LoadFromFile, который загружает графический  файл. И закрывается этот файл тогда,  когда исчезает объект Image. Соответственно, его нельзя открыть повторно&nbsp;&mdash; недостаток C#. // примечание: смешиваете в одну кучу язык сишарп и библиотеку framework
+В C# есть Image есть метод LoadFromFile, который загружает графический  файл. И закрывается этот файл тогда,  когда исчезает объект Image. Соответственно, его нельзя открыть повторно&nbsp;&mdash; недостаток C#. // примечание: смешиваете в одну кучу язык сишарп и библиотеку framework
 В [[Языки программирования, 05 лекция (от 19 сентября)|следующий раз]] будет адская семантика.