> -- alexus писал(а):
> ...Да, я согласен с Вами. Возможно, так и должно быть... без веры ничего не получится, а вера антипод сомнениям и размышлениям.Она и динамичной может быть... Мне, скажем, вера в когнитивную эффективность техноязыка не помешала согласиться с тем, что ради достижения изоморфии с дракон-силуэтом не нужно тащить в маршрутный подъязык текстового инфор-языка явные БП, если их там не должно быть...А в результате была выявлена изоморфная силуэту запись маршрутов без явных БП по шампур-методу (через цикл Дейкстры). Правда, здесь тоже не без веры... только уже Фёдору Васильевичу и его единомышленникам...
> -- alexus писал(а):
> ...С Oberon та же проблема. Он является прямым продолжением Модулы... и по-прежнему является процедурно-модульным языком. Объекты в нём - это "подарок бедным"...Как раз хотел прояснения Вашей позиции насчёт Оберон-семейства... Вы так оцениваете на основании знакомства с сутью механизмов - хотя бы попубликации Свердлова? Или по материаламэтой темы?
> -- alexus писал(а):
> ...Понимания того, что язык разработки должен объединять и язык моделирования, и язык проектирования, и язык программирования... не наблюдается. Фактически остаются паллиативные решения типа UML... куцые, мультикорневые... бестолковые (если кратко)....Пока не ставится задача конкретной гибридизации - так и будет, полагаю... Как только сосредотачиваемся на изоморфии конкретному языку/набору языков - выявляется, что надо от новой формы записи. И ведь у "автоматчиков" то же было - подошли они со своей парадигмой к юмлю - и появились "прецизионные", "исполнимые" его определения... не знаю только, избавило ли это его вполне от тех свойств, которые Вы отметили...
Кстати, если подумать - то объединение тоже можно ведь сначала проводить для текстового базиса. Скажем - Оберон и Promela... А дальше - думать над визуализацией комплекса...
Да, язык проектирования - что это в Вашем понимании? Чем отличается?