Парадигмы программирования, 11 лекция (от 03 декабря)

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

Через неделю будет экзамен. Список экз. билетов выложен по адресу: http://www.stolyarov.info/pvt/par_exam (возможно, дефис вместо подчёркивания). На всякий случай: лектора можно добыть по адресу avst@cs.msu.ru. Адрес не для публикации, использовать, если что-то необх. сообщить отн. списка вопросов. Возм., последние два вопроса, если сегодня не успеет их лектор, будут выкинуты.

Технология проведения экзамена. Техн. обусловлена тем, что дост. много людей хотят получить за посещение. На экз. будут принесены ксерокопии, сrhtgktyyst cntgkthjv? gjckt xtuj ;tkf.obv ghtlk/ yfqnb ct,z d rjhbljht d ,evf;rf[ b dsgbcfnm номера в этих списках. В это время в аудитории будут выдаваться билети и юди будут готовиться сдавать экзамен. После выдачи билетов можно подходить и получать экзамен. Ещё один момент: запасайтесь ведомостью заранее. В ведомость можно запис. студентов одной группы.

На 4 балла — все лекции кроме двух, на 3 — 2/3 с округлением вниз. (7 из 11)

Можно ли будет сдать кзамен когда-то ещё? Можно, но это уже будет в сессию. Для этого нужено найти лектора на кафедре и договориться.

Традицуионные парадигмы прогр.: императивные и всё, что с ними связано (ООП, ...)

Импер., или фон-неймановская парадигма. Какое самое главное слово в импер. прогр.: присваивание. Прогр. имеет сост., и она сост. из его изменения. Переменная, как обл. памяти и присв.

В импер. прогр. есть неявная сост. состояния. Мы из теор. автоматов знаем, что такое сост. Есть неявная сост. состояния: как минимум, значение IP. Эта неявная сост. явл. в мышл. некоторых настолько важной, что они не могут написать событийную модель без исп. тредов. К сожалению, лектор не смогу убедить в необх. расск. про сис. вызов select, позв. ожидать одно из множ. событий.

....

Вроде бы это разновидность импер. программирования, но образ мышления тут совсем другой.

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

Есть такой человек, Алан Кокс, одно время был senior architect ядра Линукс. Он в своё время сказал такую вещь: компьютер это конечный автомат, и те, кто плодят треды, не знают, как пользоваться компьютером. Альтернатива — только треды. Для тех, кто не может распознать сост. состояния и использовать её.

Теперь мы заговорили на событийно-ориент. прогр. Известно, что событийно-ориент. программы приятне всего писать на ОО-языке. Ещё со времён смоллтока. Тогда же появилась Симула, которая предн. для имитац. меоделир. и хорошо для него подхзодит. Неоднократно лектору приходилось встр. с таким утверждением: ООП не более чем разновидность импер. программирования. Утв. неверное категорически. Откуда оно берётся? Скорее всего из того, что ОО-языки в больш. свойм императиные. С другой стороны, clisp object system, но никто же не утверждается, что ОО это слегка изм. функц. прогр. Поэтому ОО не функц. и не импер. прогр. Как доказатьь это: для ОО-программирования присваивание явл. возм. посторонней. В чистом ОО присв. быть не может. Что такое присв? Это полная замена сост. переменной. Теперь вспоминаем, что такое ООП? В ООП среда вып. прогр. предст. как набор чорных ящиков, наз. объектами., т. е. системами, с внутр. которых нельзя озн., только внеш. проявл. Известно, что объект может принимать сообщ. и отвечать на них. При этом он можнет изм. собст. сост. и обм. с другими объектами сообщениями. При этом мы не знаем, сменил ли объект сост. полностью или нет. Тому що это нарушает принцип инкапсуляции. Поэтому присв. в чистом ОО быть не может. Если же допускается, то это озн., что ЯП поддерж. не только ООП.

С ОО, поговорим о нём ещё. Более практическая терминология заменяет понятие отправки сообщ. на понятие "вызов метода". Ответ на сообщ. --- рез-т вызова метода. Теперь чуть дальше. В ОО есть классы. Это нечто, фабрика объектов, экземпляров класса. То есть классы это что-то, позв. созд. объекты, один. по внутр. устройству. Отсюда класс есть множество объектов. Конечно, не любое множ. объектов явл. классом. В таких терминах можно опр. понятие насл. Когда мы насл., то мы добавляем свойства. Это озн., что мы множество сузили. КОгда мы сужаем множ., то мы можем сказать что-то дополн. о них. При этом A ⊃ B.

Ntgthm ktrnjh cj,cndtyyj [jntk crfpfnm ghj to` jlye byn/ ghfflbuve? njxytt? rkfcc zpsrjd/ Есть класс языков, по крайней мере, больш. из них явл. импер., языки эти наз. командно-скриптовыми. С т. з. лектора, к-с языки опр. тремя моментами:

• Строка — наше всё. Строка текста как универс. предст. для любых типов данных, а также самой программы.
• Развитые и легко применимые средства запуска внеш. программ и упр. ими.
• (в принципе, явл, соедствием первого) Функция eval.

Почему eval возник здесь? Потому что для кода и для данных одно предст., и м может во время предст. слепить кусок кода и подать его на вход интерпретатору. Где такое ещё есть: в lisp.

Кто-то может сказать, что стр. не явл. общим предст.. Есть такой язык tcl, раньше это было так, сейчас не совсем, но есть полная иллюзия того, что работа всё равно со строками. Когда это становится видно: когда его встраиваем или расширяем. Тогда мы видим, что там возн. полиморфные объекты, но внутри это не видно.

Что здесь интересно: в КС языках очень интересна скорость разработки. Благодаря тому, что есть простое ср. упр. внешними программами, то можно их очень быстро слепить. Более того, если мы возьмём КС-язык, который из. был придуман как язык упр. заданиями, тот же самый bourne shell, то там мы можем обнаружить такую вещь, как алгебру программ. Так вот, если рассм. как некий обхект со стандартным вводом, выводом и командной строкой, то можно заметить два способа суперпозиции: конвейер и обр. апострофы.

Кроме того, это позв. связывать программы, в том числе, написанные с исп. разных парадигм.

Последнее, что лектор хочет сказать: а давайте посм. внимательно на понятие ascii-текст. Вообще, это понятие может использ. для хроанения чего угодно, это своевременно обнаружили, и в результате большинство протоколов текстовые, конфигурационные файлы текстовые. Что это позв? Встраиваться программисту в цепочку работы программ, например, в целях отладки. Кроме того, ascii есть везде, а с юникодом и кодировки есть варианты. Если же это ascii, то мы это всегда увидим. Кроме того, можно взять бинарный файл и вычленить из него строки. Для этого есть, например, команда strings.

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