OberonCore
https://forum.oberoncore.ru/

Семантический редактор
https://forum.oberoncore.ru/viewtopic.php?f=93&t=1542
Страница 21 из 34

Автор:  Владислав Жаринов [ Четверг, 12 Апрель, 2012 12:02 ]
Заголовок сообщения:  Re: Семантический редактор

По правде говоря, и мне тоже... до сих пор Касьянова с Евстигнеевым не дочитаю из образа... :) А прогтексты - особенно (м.б. поэтому так хочется "графитного" представления ?.. :)).

Автор:  Владислав Жаринов [ Четверг, 12 Апрель, 2012 12:22 ]
Заголовок сообщения:  Re: Семантический редактор

Валерий Лаптев в viewtopic.php?p=72062#p72062 писал(а):
...
3. Пока только думаем над статьей в РСДН - никак не сформулирую генеральную линию статьи.
...
Вот была такая статья не так давно:
Вложение:
Комментарий к файлу: Содержание - страница в формате веб-архива Opera (*.mht).
ТЯП.rtf.zip [14.7 КБ]
Скачиваний: 286
По ней шла (до недавнего времени) дискуссия на РСДН (в списке ссылок приведена ветка). М.б. чего-то даст?.. тема относительно близкая...

Автор:  Сергей Прохоренко [ Четверг, 12 Апрель, 2012 15:24 ]
Заголовок сообщения:  Re: Семантический редактор

Валерий Лаптев писал(а):
4. Semantic Studio - бренд у нас уже есть... :)))


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

Кроме того, название Studio явно подразумевает IDE, поэтому его не удастся использовать для обозначения встроенного языка программирования.

Валерий Лаптев писал(а):
9. Продавать будем не систему, а лицензию на рабочее место. Недорого, чтобы потянули школы и колледжи. И индивидуально. Но это - пока только планы. Года через два. Когда система устаканится.


Шансы, что купят лицензии, нулевые (в отличие от покупки системы в целом). :(
Разве что, если система будет заточена под какую-нибудь рыночную нишу, где у нее нет сильных конкурентов, - тогда лицензии купят.

Аргументы:
1. "лицензии" конкурентов (в вузах - С/C++, С#, Java, Python) вообще бесплатны;
2. конкурирующие продукты имеют то преимущество, что упоминаются в объявлениях о приеме на работу, поэтому студенты стараются их освоить.

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

Автор:  Владислав Жаринов [ Пятница, 13 Апрель, 2012 17:59 ]
Заголовок сообщения:  Семантический редактор как почти готовая продукция :)

По рыночной стратегии согласен. :)
Насчёт названия - м.б. типа BoxWhitener? :) Имея в виду, что по идее применение этого редактора возможно в технологии "от чёрных ящиков к белым". Напр., как в МФЗ "стерильного цеха" по Х. Миллзу - с "обелением" через состояния. И некое рядоположение с BlackBox прослеживается... ;)

Автор:  Валерий Лаптев [ Пятница, 13 Апрель, 2012 18:45 ]
Заголовок сообщения:  Re: Семантический редактор

Сергей Прохоренко писал(а):
Валерий Лаптев писал(а):
9. Продавать будем не систему, а лицензию на рабочее место. Недорого, чтобы потянули школы и колледжи. И индивидуально. Но это - пока только планы. Года через два. Когда система устаканится.


Шансы, что купят лицензии, нулевые (в отличие от покупки системы в целом). :(
Разве что, если система будет заточена под какую-нибудь рыночную нишу, где у нее нет сильных конкурентов, - тогда лицензии купят.

Аргументы:
1. "лицензии" конкурентов (в вузах - С/C++, С#, Java, Python) вообще бесплатны;
2. конкурирующие продукты имеют то преимущество, что упоминаются в объявлениях о приеме на работу, поэтому студенты стараются их освоить.

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

1. Название рабочее - мы этим не заморачиваемся.
2. Система должна пройти бета-тестирование. Это как раз в первом семестре этого года. Тогда и можно будет о чем-то говорить.
3. Поскольку как минимум у нас Кумир используется, то на его месте будет наша среда. А дальше начнем распространять, как я описывал. У меня, например, в Волгограде много мужиков знакомых - обязательно к ним ткнемся.

Автор:  Владислав Жаринов [ Суббота, 14 Апрель, 2012 09:19 ]
Заголовок сообщения:  Обучение практичной архитектуре приложений

Кстати, свою архитектурную концепцию (если она оригинальна) не планируете регистрировать как "полезную модель"?.. Дабы потом м.б. объяснять, не оглядываясь на несанкционированное использование?.. :wink:

P.S. Да, и как-нибудь связать с программированием встроенки (ARM Atmel, Cortex, PIC, AVR etc) планируется?..

Автор:  Валерий Лаптев [ Суббота, 14 Апрель, 2012 11:03 ]
Заголовок сообщения:  Re: Семантический редактор

Насчет патентования архитектурной модели думал. Но пока реально руки не дошли. У нас это надо ехать в центр города и искать конкретного мужика.
Развивать в программирование - думаем, но после обучения... :)

Автор:  Владислав Жаринов [ Суббота, 14 Апрель, 2012 11:37 ]
Заголовок сообщения:  Re: Семантический редактор

Это ещё что - вот тут говорят, надо в международном агентстве делать... :)

Да, графы АСД проекта/программы, вызова процедур, импорта модулей уже предполагается вернуть?..

Автор:  Сергей Прохоренко [ Суббота, 14 Апрель, 2012 22:20 ]
Заголовок сообщения:  Re: Семантический редактор

Владислав Жаринов писал(а):
Это ещё что - вот тут говорят, надо в международном агентстве делать... :)


Если патентовать, то имеет смысл патентовать в США - по двум причинам:
1. Во многих других странах программное обеспечение исключено из защиты патентами (хотя в некоторых из них для промышленного софта может быть сделано исключение), и охраняется лишь чем-то вроде авторского права.
2. США - это крупнейший рынок, на котором реально окупить расходы на патентование.

Это не значит, что другие страны нужно игнорировать.

Чтобы заранее защитить авторские и (в какой-то степени) патентные права в суде, я бы рекомендовал запечатать описания идей программы и распечатки программы у нотариуса с отметками нотариуса о дате и времени ("Основы законодательства РФ о нотариате", ст.35, п.10: "удостоверяют время предъявления документов"). Нотариус не должен читать или копировать запечатываемое. Российское законодательство предлагает госрегистрацию программы, но в этом случае содержание ее будет раскрыто, и поэтому патентование за границей станет невозможным.

Чтобы патентовать, нужно выделить патентоспособные (т.е. удовлетворяющие нескольким требованиям патентного законодательства) идеи в формулу изобретения. При этом патентоваться может не только "как", но и также "что" (в каком сочетании), "в какой области" и "для чего".

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

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

Кстати, будущий бренд тоже потребует регистрации и защиты. А такое выражение, как "рабочий бренд" - это вообще абсурд.

Автор:  Сергей Прохоренко [ Суббота, 21 Апрель, 2012 23:32 ]
Заголовок сообщения:  СтранниК о структурных редакторах и семантическом подходе

Историческая ссылка (СтранниК о структурных редакторах и семантическом подходе): http://home.perm.ru/strannik/st_txt_prog_01.html

Автор:  Валерий Лаптев [ Воскресенье, 22 Апрель, 2012 06:58 ]
Заголовок сообщения:  Re: Семантический редактор

Вот этому мы следуем непосредственно:
Цитата:
Компиляторы с общей семантической базой

Создание (а точнее – описание) единой семантической базы современных языков программирования даст уникальную возможность создания “универсального” компилятора, который мог бы работать с любым существующим языком, имеющим общую с другими семантическую базу.

Общая семантика позволит иметь единый семантический анализатор и единый генератор кода, общий для всех используемых языков. Синтаксический анализатор так же можно сделать универсальным, поскольку синтаксис любого языка можно формально описать с помощью формул БНФ. Лексика же всех современных языков практически идентична (например, правила записи числовых и строковых констант в таких разных языках, как Си и Паскаль, совпадают практически полностью).

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

На базе универсального компилятора может быть создана многоязыковая интегрированная среда разработки программ, в которой, в качестве внутреннего представления программ, будет использоваться не текст (как сейчас), а семантические конструкции. В такой среде понятие языка разработки превратится в условность, поскольку переключение с одного языка на другой можно осуществить в любой момент выбором соответствующего пункта меню.

Только у нас пока чистый интерпретатор.

Автор:  MaximGB [ Понедельник, 23 Апрель, 2012 11:44 ]
Заголовок сообщения:  Re: Семантический редактор

Так, для справки, интересный концепт: http://www.kickstarter.com/projects/ibdknox/light-table

Автор:  Валерий Лаптев [ Пятница, 11 Май, 2012 20:59 ]
Заголовок сообщения:  Re: Семантический редактор

Мы с нашим редактором выиграли сегодня уже второго Умника... :)

Автор:  Info21 [ Пятница, 11 Май, 2012 21:21 ]
Заголовок сообщения:  Re: Семантический редактор

Валерий Лаптев писал(а):
Мы с нашим редактором выиграли сегодня уже второго Умника... :)
Поздравляю!

Автор:  Сергей Прохоренко [ Пятница, 11 Май, 2012 22:22 ]
Заголовок сообщения:  Re: Семантический редактор

Валерий Лаптев писал(а):
Мы с нашим редактором выиграли сегодня уже второго Умника... :)


А за двух Умников хороший грант дадут? Хотелось бы, чтобы количество перешло в качество.

Автор:  Валерий Лаптев [ Суббота, 12 Май, 2012 16:34 ]
Заголовок сообщения:  Re: Семантический редактор

Сергей Прохоренко писал(а):
Валерий Лаптев писал(а):
Мы с нашим редактором выиграли сегодня уже второго Умника... :)


А за двух Умников хороший грант дадут? Хотелось бы, чтобы количество перешло в качество.

Планы такие: в будущем году поучаствовать в Старте. Шансы выиграть весьма высоки. Тем более, что папа нашего основного программиста весьма заинтересован в создании малого предприятия. И будет его делать. А мы туда подтянемся.
Кроме того, уже будет практическая проверка в учебном процессе, станет ясно, что доделать, что убрать или переделать. Кстати, собираемся в соседнем колледже вычислительной техники тоже попробовать внедрить - я там председатель ГАК... :)
Кроме того, еще несколько статей будет.
На Объектные системы послали, летом выйдет. Статья как раз про язык и редактор.
В общем, надеюсь, что выиграем. Не с первого раза, так со второго, когда предприятие раскрутится... :)

Автор:  Дмитрий Грачёв [ Четверг, 17 Май, 2012 17:33 ]
Заголовок сообщения:  Re: Семантический редактор

Валерий Лаптев писал(а):
Сергей Прохоренко писал(а):
Валерий Лаптев писал(а):
Мы с нашим редактором выиграли сегодня уже второго Умника... :)


А за двух Умников хороший грант дадут? Хотелось бы, чтобы количество перешло в качество.

Планы такие: в будущем году поучаствовать в Старте. Шансы выиграть весьма высоки. Тем более, что папа нашего основного программиста весьма заинтересован в создании малого предприятия. И будет его делать. А мы туда подтянемся.
Кроме того, уже будет практическая проверка в учебном процессе, станет ясно, что доделать, что убрать или переделать. Кстати, собираемся в соседнем колледже вычислительной техники тоже попробовать внедрить - я там председатель ГАК... :)
Кроме того, еще несколько статей будет.
На Объектные системы послали, летом выйдет. Статья как раз про язык и редактор.
В общем, надеюсь, что выиграем. Не с первого раза, так со второго, когда предприятие раскрутится... :)


Если предприятие раскрутится, то нафиг эти гранты :D

Автор:  Валерий Лаптев [ Пятница, 18 Май, 2012 11:45 ]
Заголовок сообщения:  Re: Семантический редактор

Сергей Прохоренко писал(а):
Валерий Лаптев писал(а):
Мы с нашим редактором выиграли сегодня уже второго Умника... :)


А за двух Умников хороший грант дадут? Хотелось бы, чтобы количество перешло в качество.

Дык каждый Умник - это 400 штук на 2 года. :)
То есть парни на пару уже 800 штук получили. :)

Автор:  Владислав Жаринов [ Пятница, 01 Июнь, 2012 11:58 ]
Заголовок сообщения:  Семантический редактор и графическое программирование

Вот, кстати, нашёл материалы С. Рейсса - разработчика системы графит-Паскаль-программирования ПЕКАН: http://www.cs.brown.edu/~spr/.
Чуть более подробное описание системы на этой странице м.б. интересно. Ну и конечно есть публикации самого Рейсса - можно найти в этом списке: http://dblp.uni-trier.de/db/indices/a-t ... en_P=.html.

Кое-что можно загрузить с университетского сайта (где Рейсс преподаёт и поныне). В частности, публикации по представлению программ:
http://www.cs.brown.edu/people/spr/rese ... vlexec.pdf
http://www.google.com/url?q=http://www. ... 89-RPM.pdf

Есть и обзорная работа на английском: http://www.nickerson.to/visprog/CH2/CH2.HTM - сайт, http://www.stevens.edu/jnickerson/ch2.pdf - файл (включая историю вопроса). Там упоминается ПЕКАН - но вообще подобна монографии TAU.

Возможно, будет интересно и полезно..

Автор:  Валерий Лаптев [ Пятница, 01 Июнь, 2012 20:22 ]
Заголовок сообщения:  Re: Семантический редактор

Посмотрел.
Спасибо! Очень интересно!
Особенно статья Скотта Мейерса и Рейса о семантическом графе программы... :)

Страница 21 из 34 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/