DRAKON.SU

Спасибо, это очень важно.

Цель 1. Текстовый формат одиночной и составной фигуры языка ДРАКОН должен однозначно определять графическое представление этой фигуры. При этом возможно несколько текстовых представлений одной и той же составной графической фигуры.

Цель 2. Для каждой одиночной и составной графической фигуры языка ДРАКОН должен существовать текстовый формат.

Цель 3. "Сделать формат как потенциальную часть профессионального инструмента настолько хорошо, насколько получится".

Цель 4. Текстовый формат должен позволять использовать систему контроля версий и diff (для просмотра изменений между ревизиями). При этом нужно устранить указанную в цели 1 множественность текстовых представлений одной и той же составной графической фигуры.

Цель 5. "4. Для описания неформальных алгоритмов".

Цель 6. "Для описания исполняемого кода".

Цель 7. "6. Для генерации в исполняемый код".

Цель 8. "7. С возможностью писать и понимать код напрямую из формата хранения. Это один из популярных способов создания схем, предпочтительный для многих разработчиков".

Цель 9. "8.1. Наилучший для понятности синтаксис".

Цель 10. "8.2. Максимальное соответствие одному из выбранных для генерации языков(не отменяет связь с другими языками). В идеале сохраняемая схема могла бы напрямую быть частью исходного кода без дополнительной генерации или даже извлекаться для отображения из независимо написанного исходного кода".

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

Примечание

В языке ДРАКОН высшим приоритетом является наглядность дракон-схемы, то есть выполнение эргономических требований к схеме. В частности, недопустимо ставить в качестве цели упрощение синтаксического разбора при компиляции, если оно неблагоприятно влияет на наглядность и простоту восприятия схемы.


Хочу отдельно поблагодарить Вас за эти слова. Благодаря Вам я впервые осознал, что текстовый формат может точно передать все богатство графической дракон-схемы. Раньше я думал, что это невозможно.

Спасибо за указание на ошибки.


Считаю, что разбор в данном случае не следует учитывать. Специалисты по компиляции сделают все, что нужно.
Задача пунктов 12-15 показать, что в графике можно удалить знаки конъюнкции, а в тексте они могут сохраняться.

Исправленный вариант:

Если задача упрощать разбор не стоит, а есть такой расчёт на специалистов компиляции, то где граница этого расчёта? Ведь в пределе можно постановить, что исходным форматом для редактора может быть сам целевой язык, а ДРАКОН-редактор - это такой специфический редактор кода.

На меня произвели сильное впечатление слова tonyk, что для описания языка ДРАКОН необходимо иметь текстовый формат.

Вы к этому добавили:

Отсюда я сделал вывод, что нужно создать наилучшее из возможных самодостаточное описание языка. Самодостаточное в том смысле, что независимое от пожеланий разработчиков компилятора. Не язык должен подлаживаться под пожелания разработчиков компилятора, а наоборот, компилятор следует строить, учитывая особенности языка.

Вот целевой язык относительно редактора ДРАКОН самодостаточен по самое не могу.

Это всегда было выдачей желаемого за действительное. Любой успешный язык строился от пожеланий разработчиков исполнителей языка. Почему? Потому что можно бесконечно легко создавать требования, которые бесконечно сложно выполнить, хотя для неуспешности достаточно и просто недостаточного соотношения полезности к сложности. С другой стороны, нельзя подгонять формат под язык С, который сам был разработан под компилятор(изначально языка B, который тоже был разработан похожим образом), и утверждать, что формат не подстраивается под компилятор. Просто это подстройка под другой компилятор, созданного под совершенно иные задачи. А утверждение, что эта подстройка ещё и нацелена на создание наилучшего из возможных, - это уже совсем надругательство над здравым смыслом.

Comdiv, спасибо за критические замечания.
Не совсем так. Во всех моих книгах, особенно в книгах:

1. Алгоритмические языки и программирование: ДРАКОН учебное пособие.
2. Учись писать, читать и понимать алгоритмы.

подробно изложены основные требования к языку и способы их реализации в дракон-конструкторе:

1. разработан специальный математический аппарат — визуальное логическое исчисление (исчисление икон).
2. графический синтаксис языка ДРАКОН представляет собой исчисление икон.
3. Исчисление икон реализовано во внутренних алгоритмах ДРАКОН-конструктора.
4. Визуальная алгебра логики (без использования логических связок).

Нельзя говорить, что это "бесконечно сложно выполнить". Это уже выполнено в существующих дракон-редакторах и успешно работает.

Согласен, здесь я неудачно выразился. Эту фразу можно убрать.

Comdiv прошу проверить позиции 17-21

Comdiv прошу проверить п. 22-27

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

Вы придрались к формулировке, хотя она относилась не к этому и суть была донесена вполне ясно, особенно словами, которые следовали сразу после - "для неуспешности достаточно и просто недостаточного соотношения полезности к сложности".

Не вижу ошибок. Но проблема этих, а также более ранних примеров, что вместо того, чтобы один раз указать, что сравнение с Нет около вертикального направления эквивалентно отрицанию условия, Вы комбинаторно перебираете одинаковые по сути конструкции, что приводит к вредному раздутию примеров. Желательно устранить все дубликаты, тем самым избавиться и от ошибок в условиях, которые есть в некоторых из них (до 17-го).

Исправил ошибки в пунктах 1-16. Выкладываю исправленные материалы.

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

3 - это цель целей, поэтому она странно смотрится посреди более частных 1 и 2.

9 и 10 противоречат друг другу. Либо наилучший для чтения и записи, либо выкидыш синтаксиса C.

Странно смотрится 4 с противоречием 1-му. Также отмечу, что устранение неоднозначности записи противоречит и разнообразию частных форм, которые прыгают от одной к другой. В данном случае усложнение разбора хранимого формата приводит и к усложнению разбора изменений посредством сравнения текстовых форм. Сравните


diff 12.c 16.c

diff 12_and.c 16.c

[quote="Владимир Паронджанов"][quote="Comdiv"] составим список целей[/quote]
Цель 1. Текстовый формат одиночной и составной фигуры языка ДРАКОН должен однозначно определять графическое представление этой фигуры. При этом возможно несколько текстовых представлений одной и той же составной графической фигуры.
[/quote]

Если в DRAKON Editor Степана Митькина выделить иконки диаграммы, скопировать и вставить в текстовый редактор, например в Notepad++, то вставится текст вида:

DRAKON 1.31 items {{104 beginend file_Extension {} {} 1 320 250 80 20 60 0} {105 beginend End {} {} 1 320 870 50 20 60 0} {106 vertical {} {} {} 1 320 270 0 580 0 0} {107 horizontal {} {} {} 1 320 250 200 0 0 0} {108 action {array $files
string $sku
string $property} {} {} 1 520 250 90 40 0 0} {123 action {/*
составить имя файла,
найти его,
вернуть расширение
*/} {} {} 1 320 370 180 60 0 0} {152 loopstart {foreach $file; $files} {} {} 1 320 530 180 20 60 0} {153 loopend {} {} {} 1 320 720 180 20 60 0} {155 if {mb_strpos($file, $sku) !== false} {} {} 1 320 590 180 20 40 0} {156 vertical {} {} {} 1 540 590 0 90 0 0} {157 horizontal {} {} {} 1 320 680 220 0 0 0} {158 action {$parts = explode('.', $file);

$extension = end($parts);} {} {fg #000000 bg #aaffaa} 1 780 710 160 40 0 0} {159 if {mb_strpos($file, $property) !== false} {} {} 1 540 640 210 20 30 0} {160 vertical {} {} {} 1 780 640 0 130 0 0} {161 horizontal {} {} {} 1 320 770 460 0 0 0} {163 action {return $extension;} {} {} 1 320 810 180 20 0 0} {164 action {$extension = '';} {} {} 1 320 470 180 20 0 0}}

если этот текст вставить в DRAKON Editor, то вставится диаграмма.

Спасибо за замечание.
Какие выводы вы делаете из вашего сообщения? Просьба ответить подробно.

Пардон, признаю - я написал чепуху.

Но я знаю кое-кого, кто поможет сделать Бэкусово-Науровская форма (БНФ) для ДРАКОНа.