OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 13 Декабрь, 2018 21:05

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




Начать новую тему Ответить на тему  [ Сообщений: 51 ]  На страницу Пред.  1, 2, 3
Автор Сообщение
СообщениеДобавлено: Четверг, 28 Февраль, 2013 05:43 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
В сабже автор кратко сравнивает языки:
Вложение:
Городняя-СравнУчебЯП-ст(ИнфО).djvu [78.33 КБ]
Скачиваний: 165
на предмет применимости в обучении.
Если оставить в стороне выбор языков и выводы, то м.б. интересна организация сравнения. Как паттерн для таких целей.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 28 Февраль, 2013 06:21 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 2974
Откуда: Астрахань
Орлов С.А. Теория и практика языков программирования. - Спб.: Питер, 2013. - 688 с.

http://www.ozon.ru/context/detail/id/19085772/

Книжка весьма хороша, как и все книги Орлова. По содержанию несколько напоминает знаменитую книгу Зелковица и Пратта "Языки программирования: разработка и реализация". Однако производит более фундаментальное впечатление. Мощная глава 16 об ООП. В ней же описана аспектно-ориентированная парадигма, чего в учебниках пока не было. Отдельная глава про функциональное программирование, где есть описание языка ML (этого тоже нигде в учебниках нет). И конечно в этой главе изложены все основные положения функционального программирования. И отдельноая глава - о логическом программировании.
Книжка может использоваться и в специальных курсах по языкам программирования, и в курсе по компиляторам, и в курсе по системному программированию. Отличный учебник!


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 22 Май, 2014 17:54 

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 372
Уважаемые друзья, коллеги!

Сообщаю о выходе из печати моей книги "Языки программирования". :) Не знаю, правда, насколько она "правильная".
В обычных книжных пока, вероятно, ее нет. Но есть в Интернет-магазинах.
См.
http://www.piter.com/product/yazyki-pro ... pokoleniya
http://www.ozon.ru/context/detail/id/27048978/
http://my-shop.ru/shop/books/1819115.html


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 24 Май, 2014 10:53 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 353
Откуда: Москва
Андрей Александрович! От всей души поздравляю с выходом очередной Вашей книги, на этот раз в Издательстве "Питер" в серии "Учебник для вузов". Ждем следующей книги!

Подробнее см.: viewtopic.php?p=87659#p87659

===============

Книга уже есть в Московском доме книги
http://www.mdk-arbat.ru/catalog?kw=%D2% ... 0%ED%E8%FF


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 24 Май, 2014 21:50 

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 372
Спасибо за поздравления! :)

Кстати, в аннотации издательства (хотя я ее сам и писал, сейчас лишь понял, что она не отражает "конкурентных преимуществ" именно моей книжки по отношению к отличной книге С.А. Орлова), не упомянуты следующие черты:

1. Есть глава, посвященная эзотерическим языкам программирования
2. Есть глава, посвященная визуальному программированию
3. Много раз упоминается основанный на русских ключевых словах язык РАПИРА, говорится и о других языках разработки СССР/России


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 27 Май, 2014 12:04 

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 372
Валерий Викторович! И другие коллеги!

Если не сложно - дайте свои отзывы на книгу на сайтах Озона и издательства "Питер".


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 27 Май, 2014 13:12 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 2974
Откуда: Астрахань
TAU писал(а):
Валерий Викторович! И другие коллеги!

Если не сложно - дайте свои отзывы на книгу на сайтах Озона и издательства "Питер".

Как только придет заказ - обязательно напишу.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 25 Июнь, 2014 05:01 

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 372
да, и вот еще что: в книге есть вещи, которые, подозреваю, не найдешь ни в одной другой книге по программированию особо сейчас: 1) глава про эзотерические языки 2) про ассемблер и интеграцию его с Си 3) глава про визуальные языки


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 25 Июнь, 2014 09:32 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 557
TAU писал(а):
да, и вот еще что: в книге есть вещи, которые, подозреваю, не найдешь ни в одной другой книге по программированию особо сейчас: ... 3) глава про визуальные языки

TAU, при наличии возможности, прошу выложить главу, в части Дракона, здесь - Библиотека.

Возможно, в части разработки МОКБ "Марс", Вы писали: "они мне разрешали здесь написать о ней" - http://forum.oberoncore.ru/viewtopic.php?p=81375#p81375


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Суббота, 28 Июнь, 2014 17:12 

Зарегистрирован: Воскресенье, 09 Март, 2008 22:38
Сообщения: 372
Геннадий Тышов писал(а):
TAU писал(а):
да, и вот еще что: в книге есть вещи, которые, подозреваю, не найдешь ни в одной другой книге по программированию особо сейчас: ... 3) глава про визуальные языки

TAU, при наличии возможности, прошу выложить главу, в части Дракона, здесь - Библиотека.

Возможно, в части разработки МОКБ "Марс", Вы писали: "они мне разрешали здесь написать о ней" - http://forum.oberoncore.ru/viewtopic.php?p=81375#p81375

О Марсе пока ничего нет, лишь упоминание.

Про визуальные языки - раздел взят из моей монографии 2009 года, она есть в библиотеке.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Предшественники Свердлова :)
СообщениеДобавлено: Среда, 23 Июль, 2014 13:19 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 2046
Опалёва Э.А, Самойленко В.П. Языки программирования и методы трансляции. – СПб.: БХВ-Петербург, 2005.
Вложение:
Книга обобщает опыт авторов в теории формальных языков и в преподавании (см. их работы в списке литературы к книге).
Курс представляется систематичным и целостным. Есть вопросы, изложенные иначе, чем в "оберонистом" учебнике Свердлова, напр. описание языков и основные концепции (можно сравнить с разд. «Языки и эволюция...»), виртуальная машина СУ-перевода (авторская модель «ДМП-процессор»); есть оригинальные темы (СУ-схемы в Гл.11, формы в пп.10.2..4), в т.ч. данные, отсутствующие в широко известной литературе.


Систематически рассмотрены механизмы типизации и типы данных; критерии определены несколько иначе, чем у Орлова и нет о вычислении оценок.
Интересна структуризация управления в п/р1.9. В п. 1.9.3 хорошо структуризованы операторы цикла; это позволило ввести удачное понятие типа «цикл, управляемый пользователем <имеется в виду языка, т.е. программистом — В.Ж.>»; оно обобщает безусловный, замкнутый цикл «loop-exit» и условный «гибридный» цикл (с условием внутри тела).
Систематически описаны составные регулярные типы, в частности, иерархии с комбинацией массивов и записей (п/п 1.7.6.1). В п. 1.7.7 чётко определена специфика типа объединения и его подтипы с указанием места записи с вариантами как реализации тегированного объединения. Кстати, сущность объединения свободного вызывает ассоциацию с замечанием Каверина... :)
Рассмотрены сопрограммы в п.1.10.5, что делается редко. При этом смысл раскрыт иначе, чем у Романовского, и представляется, что лучше определяет суть.
Разумеется, в конкретном языке будут и выбраны для каждого набора альтернатив конкретные спецификации и реализации. И в Сообщении о языке интересно будет обоснование каждого выбора. В этом смысле описание структур данных здесь можно рассматривать как основу для составления соответствующих разделов в таком ключе.

В п/р 2.3 поставлена проблема формального определения семантики, сжато представлены основные методы.
На с. 106 удачно определение отличия конструктивного и неконструктивного («формального» у Акимова) определений языка (логико-математически формальных) - как обеспечивающего или нет распознавание произвольной цепочки как принадлежащей определённому языку. Это интересно в связи с семиотикой как критерий различимости ЛМ-субъектов (объективированных) по определению ими своих языковых базисов.
    Интересно перечисление способов описания ЯП в п/р 3.1: словесный неформальный (можно отнести к качественному уровню формализации); алгебраический и порождающий (т.е. исчислением), можно отнести к ЛМ-уровню у Зверева, Грековой и автоматный (к техноалгоритмическому Зверева).

На с. 401 интересно утверждение: «синтаксически управляемый перевод можно трактовать как метод преобразования деревьев выводов входной грамматики в деревья выводов входной грамматики. ...» Что связано с вопросом о структуре моделей языка и формализованной коммуникации.

В отличие от многих работ, как равноправный оператор управления употребляется явный БП. Начинается это с замечания о реализации операторов перехода в п/п 1.9.2.1 и продолжается, например, раскрытием операционной семантики цикла в п. 2.3.2, переводом его для «джамп-машины Неймана» в п/р 11.6. При этом принятые формализмы и представления (прежде всего схематические, а также структурно-табличные) показывают для явных БП:
  • необходимость при отображении нелинейных структур на линейное инфопространство техноалгоритмического исполнителя (машины языка, реальной и виртуальной);
  • подразделение на структурные (положение которых в потоке управления предопределено синтаксисом структуры управления «уровня операторов» в терминах авторов) и на неструктурные (положение которых определяется составителем, «управляемо пользователем» в терминах авторов).
Существование структурных БП показывал также и Свердлов, но не акцентируя внимание на этом.
    Из качественных соображений и учитывая Свердлова, языковой подход к алгоритмам возможен, например, через структуризацию по Де Ремеру. Тогда принимаем, что структура делится на блоки-"костяшки" по передачам предметов труда (данных, материалов) и образуется компоновкой между предметами, данными как исходные и как результатные; смысл блока также есть шаг процесса как грамматическое правило преобразования исходного в результат. Синтаксически блоки м.б. представлены как области (полюсники) на ГТ- или ГП-схеме, а деление проходит по вершинам предметов (для ГП-языка нужно задать предмет также на потоке управления - можно принять точку управления и на потоке исполнения - м.б. принята конфигурация исполнителя).

См. также:
из Свердлова о концепциях ЯП (выдержка);
о замкнутом циклетексте здесь; сайт);
замечание Каверина (сайт);
Романовский о сопрограммах (пост);
Акимов о конструктивизме ;
о техноалгоритме по Звереву (пост);
Грекова о формализации (сайт, из статьи здесь);
из Свердлова о структурных БП (пост);
из Свердлова о выкладке ветвлений (Рис. 3.9, пост);


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

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


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

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


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

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