Comments | mkizub: Редактирование кода программы как дерево, а не текст

mkizub

Редактирование кода программы как дерево, а не текст

Mar 17, 2009 17:33

Чтобы понять, чем SOP/SymADE отличается от MPS или IP надо вначале разобраться, что у них общего.

Прежде всего, все эти средства разработки программ предполагают переход от представления программы в виде текста к представлению (редактированию и хранению) в виде дерева. В таком подходе нет ничего нового, именно эту идею использует Lisp, что в ( Read more... )

ip, symade, sop, mps

Comments 8

raydac March 20 2009, 12:34:56 UTC

еще можно гетерогенным программированием проблему решить, совмещая несколько языков в проекте, например я пробовал Prolog+Java, вроде потенциал есть

mkizub March 20 2009, 13:29:21 UTC

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

raydac March 20 2009, 13:44:16 UTC

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

mkizub March 20 2009, 13:49:12 UTC

Кстати, какая это была реализация, кто умеет подхватывать явовские методы по аннотации?

Thread 5

barmatat March 22 2009, 08:08:35 UTC

Очень интересно. Вообще идея решения особо острых проблем программирования, "летающая в воздухе", похоже начинает приобретать конкретные формы, что говорит о ее зрелости, что не может не радовать.
Хотелось бы узнать поконкретнее, а какие еще вопросы рассмотрены в контексте SOP кроме древовидного представления программы? Попробую пояснить, если ошибаюсь, пожалуйста поправьте. В статье даются разъяснения, что хранение программы в виде дерева, позволит показать ее в дальнейшем, в удобной для понимания того или иного аспекта форме. Так? Ну например графически показать диаграмму классов (если ООП) или модулей. Здорово, но вот, что более интересно, как например отобразить thread модель того или иного участка или всего проекта? Можно это сделать? Или, скажем, семантика суть конечный автомат, сможем ли мы выудить граф состояний? Реальный примеры представлений очень помогут пониманию идеи.
Еще раз спасибо.

mkizub March 22 2009, 10:00:46 UTC

Как отобразить thread модель? Для существующих онтологий (C++, Java) - никак. Почему ( ... )

drovan April 22 2009, 12:52:55 UTC

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