OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Вторник, 17 Июль, 2018 14:16

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 31 ]  На страницу Пред.  1, 2
Автор Сообщение
 Заголовок сообщения: Re: Новая книга Бертрана Мейера!
СообщениеДобавлено: Пятница, 04 Ноябрь, 2011 17:14 

Зарегистрирован: Пятница, 24 Апрель, 2009 16:28
Сообщения: 525
Откуда: Москва
У кого есть бумажный вариант - там тоже пропущен "Рис. 14.25. Граф функции (Фибоначчи)", как в PDF?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Новая книга Бертрана Мейера!
СообщениеДобавлено: Вторник, 08 Ноябрь, 2011 12:26 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Да.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 05 Декабрь, 2011 10:28 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Такой вопрос возникает, исходя из /Мейер, 2011, Гл.17/.
Мейер вроде как представляет агенты как замыкания (делегаты). Тогда как возможно их понимание как процедур, обменивающихся сообщениями. Вопрос к специалистам - это эквивалентно? если нет, что правильнее? или оно равно корректно - но какой-то взгляд плодотворнее?..


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Замечания по тексту
СообщениеДобавлено: Вторник, 03 Январь, 2012 07:34 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Здесь будут замеченные ошибки и неясности.

п. 8.6: Команды м.б. реализованы только процедурами, но запросы м.б. реализованы как функциями, так и атрибутами... - м.б., также "процедурами"?.. :wink:


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Заметки по МФЗ-Эйффель
СообщениеДобавлено: Вторник, 03 Январь, 2012 08:50 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Здесь будут размышления и предложения по подходу Мейера к формализации в целом, языку, реализации в ЭйффельСтудии и по технологии.

В целом для Эйффеля понятия интерфейса и реализации определяются как спецификационная и подлежащая исполнению части информодельной единицы (класса, метода, цикла как его подструктуры). Тогда как для Оберона/КП реализация - это неэкспортируемые процедуры модуля, а интерфейс - либо спецификация процедуры (DEFINITION у Вирта), вроде как свёртка определения процедуры с теми же целями, что у Мейера, либо экспортируемые процедуры. М.б. надо как-то уточнить?..

На с. 205...207 фактически критика блок-схем, аналогичная Паронджанову. Но с другим выводом - графическое представление структур управления бывает лишь "анархическим" и потому неэффективно. При этом блок-схемы едва ли не отождествляются с явными БП.
    В то же время Мейер не готов отказаться от графов для этой цели. Так, и базовые структурные алгоконструкции на с. 209 он даёт как блок-схемы (а не как, скажем, РБНФ-тексты). И в упражнении 7-У.5 на с. 227 предлагает "убирать спагетти" через рассмотрение графа.
    Оно и понятно - не каждый может легко делать такие вещи через текст, как А. Ильин в этой теме... Хотя как знать - не оперировал ли Александр в уме именно схематическим образом LOOP-текста (и целевых конструкций)?..
Можно понять как следствие неизвестности Мейеру графов управления, формально-структурированных в терминах порядка цепочек следования (по тому же шампур-методу с явными БП, или без них - по графит-варианту метода Дейкстры - как здесь: http://grafit-basis.narod.ru/L3/grafit- ... l#GR-n1414).
И результатов, указывающих, что импер-схемы, получаемые только вложением граф-структурных алгоконструкций в структурные аксиомы-диоформы (примитив, дейкстрал), также представляют управление без явного БП, как и текстовые языки без goto. А goto появляется как результат операций с лианой и/или употребления как аксиомы для импер-схем шампур-силуэта. И что можно "убирать goto по Дейкстре" в графовом виде, как в этом примере.

Важно указание на с. 209..11 на то, что заменители - это просто разновидности того же явного БП, затрудняющие установление логики процесса по его тексту. И значительно усложняющие доказательство правильности программ (в целом, а не "только для слепыша управления" - см. эту заметку).

Неясна реализация в ЭС-системе управления версиями. Так, на с. 237 предлагается вручную указывать параметры правки метода-"заглушки". Ясно, что нужно делать или как в офисных пакетах (каждая правка - самостоятельная сущность, идентифицированная по месту/времени/исполнителю и показываемая в отображении прямо на исправленном), или относительно информодельной единицы (для каждой - последовательность записей о правках, показываемая отдельным перечнем с возможностью отобразить её результат).

Интересен принцип замещения комментариями, данный изначально в п. 6.1. По сути, он определяет новый тип отношения комментария к тексту. Обычный комментарий относится к чему-то в окружающем содержании. Как правило, к предыдущему оператору программы или к какому-то её последующему фрагменту (второе обычно предполагается в техноязыке). В любом случае он несёт какой-то смысл не для исполнителя описания в формальном смысле, а для его сочинителя (читателя-адресанта) и интерпретатора (читателя-адресата), способного дать формальное описание с уточнениями.
Комментарий-заместитель относится к самому себе. Представляя содержание, имеющее смысл для "сочинителя как исполнителя". Т.е. напрямую расширяя репертуар (багаж, реквизит) относительно реального исполнителя понятиями, имеющими смысл для сочинителя.
Обсуждалось также здесь для граф-базированной записи.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Заметки по МФЗ-Эйффель
СообщениеДобавлено: Вторник, 03 Январь, 2012 19:18 
Аватара пользователя

Зарегистрирован: Суббота, 27 Февраль, 2010 23:34
Сообщения: 746
Владислав Жаринов писал(а):
Здесь будут размышления и предложения по подходу Мейера к формализации в целом, языку, реализации в ЭйффельСтудии и по технологии.
А не проще ли один раз (и надолго) разобраться с тем, что такое проектирование... где заканчивается проектирование и начинается разработка... какие инструменты нужны для проектирования, а какие для разработки... где стыковка моделирования и проектирования... То есть, подойти к вопросам создания нового (как части жизненного цикла) более... системно... Тогда и по Дракону примерно 80% недоразумений исчезнет само по себе.
Примечание: на Мейера опираться не следует, IMHO.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 04 Январь, 2012 09:24 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Эта глава, о которой Мейер пишет как о тривиальном введении в логику "для нужд собственного изложения", при ближайшем рассмотрении показалась как раз не такой тривиальной:
Вложение:
Мейер-ПочувстКласс-извл(Гл5).djvu [221.73 КБ]
Скачиваний: 165
В целом представляется законченным введением в формальную логику для учней. Причём прослеживается "сжатие знаний" и структурированность. Что делает текст вполне эргономичным - даже без графики. :) Хотя именно такой текст и оправданно использовать для визуализации.

В частности, интересна схема изложения. Которая позволяет на немногих страницах пройти от логики высказываний к логике предикатов. Показав также реализацию булева языка - как алгопроцесса вычисления формул, развёртываемого во времени. С этим связываются, как мы видим, полустрогие булевы операции и "ленивые"вычисления логвыров.
    Кстати, конструкция AND-THEN, обсуждавшаяся в этой теме, может рассматриваться как явное представление как раз "ленивого вычисления" логвыра при допущении в нём как аргументов не только величин. Т.е. как "вытаскивание" такого логвыра, его развёртывание в прогтексте. И по аналогии очевидна конструкция OR-ELSE...

Удачно и определение кванторов как обобщений базовых ФАЛ на аргументы-множества. И иллюстрации на примерах, сопоставляющих с обыденным языком (так же делал здесь для определения ОС-узлов).
    Вообще сравнительное языкознание, охватывающее формальные языки - самая та концепция для М-И-Я в школе. В т.ч. потому, что даёт возможность запустить самоподготовку учней на базе тех самых "немногих аксиом", о которых говорил alexus... У Мейера мы это уже видели для прогязыков в приложениях... и Виталий Валерьевич выражал желание дать такой материал... а кроме того, раскручивать работу ума через "самоопределение языка":
    vvp в viewtopic.php?p=10764#p10764 писал(а):
    ...
    Языковые конструкции вводятся по мере необходимости и очень неформально. Это порождает неточности понимания, которые затем устраняются. Неточности понимания я не рассматриваю как проблему, это скорее повод для уточнения языковых знаний. Таким образом теория все-же появляется, но вслед практике....

Между прочим, именно на таком хорошо организованном тексте видно, что средства визуализации д.б. адекватными... "батареями запоминателей" тут не достигнешь адекватности... ;)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 04 Январь, 2012 15:15 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Теперь кое-что о сути Эйффель-формализации "систем как программ":
Вложение:
Мейер-ПочувстКласс-извл(Гл6).djvu [266.98 КБ]
Скачиваний: 188
Можно сказать, что "объектность" здесь изложена в сравнении со многими источниками систематически. А не как "танцы с Бучем", когда неким неявным образом реальный мир представляется "диаграммой классов", а та затем таким же образом наполняется кодом. Без законов и правил "проецирования слона"... ;)
    Разве что у "автоматчиков" не так - но у них и юмль становится "исполнимым". Т.е. с языковедческой т. зр. - "гибридизируется" с языками автоматных спецификаций и целевого программирования. Причём "скрещивание" касается, кстати, и графчасти... в отличие от гибридизации ТЯП с графит-формой.
И именно в таком изложении отчётливее становятся вопросы не к языку, но к подходу. С позиций "предметника", качественного понимания они, конечно, могут обрести лишь форму смутных сомнений: "- Где-то ты<, объектность,> нас кидаешь... но где?.." ;)

Из "представительских" вещей отмечу, что наглядно показываются ссылки. Делая очевидным, что для изображения произвольных ссылочных структур целесообразен разнесённый способ (в терминах ЕСКД). Ибо они в общем случае задают "прошивку" дерева вложенности блоков иерархии типов (наследования классов).
Рациональной кажется псевдонимика операций. Вместо "перегрузки", когда одному имени соответствуют разные процессы - ряд имён для "костюмирования" процесса под разные "предметки", ситуации употребления.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 05 Январь, 2012 09:59 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Здесь управляющие конструкции (импер-составляющая отчуждаемого знания частного, т.е., о том, КАК) рассмотрены в общем, с применением Эйффеля как формы записи:
Вложение:
Мейер-ПочувстКласс-извл(Гл7).djvu [615.43 КБ]
Скачиваний: 230
Ну, говорить особо нечего... с позиций "доказательности", видимо, добротное изложение...
Только отмечу лишний раз, что показано представление ЯВУ-слияний маршрутов как не чего-нибудь, а безусловных переходов исполнителя формального, отвечающего как минимум математическим испонения алгоритма. Это так, к сведению "безоглядных сторонников ДРАКОНа". У которых уже, похоже, сформировался "догмат веры" в то, что операторные структуры "Имя/Адрес ветки" для формального исполнителя ну никак не интерпретируются явными БП (а чем тогда?.. ;))...

Ну, тут и исключение goto по аналогии с "убиранием LOOPов"... уже говорил.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 13 Апрель, 2012 18:15 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Вот ещё к этой ветке:
Вложение:
Мейер-ПочувстКласс-извл(Гл16).djvu [713.45 КБ]
Скачиваний: 180
Вот тут и интересна будет "табличка, в которую можно ткнуть носом" на тему - как без множественнрго наследования реализуется всё то, что Мейер предлагает реализовать с его помощью...


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Агенты в Эйффель
СообщениеДобавлено: Суббота, 14 Апрель, 2012 12:22 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Как можно понять из Гл. 17, это то же, что в процедурные типы в Обероне. Насколько эквивалентны и какие ещё механизмы для той же цели возможны -судить опять же специалистам...


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 31 ]  На страницу Пред.  1, 2

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2018, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB