Сергей Прохоренко писал(а):
Поэтому хочу предложить альтернативное и гораздо более многообещающее средство - генератор структурированного кода следующего поколения Libra. Он в принципе подходит для любого языка программирования, включая Оберон.
Прочитал. Собственно генератора не увидел. Увидел эргономичную форму работы с исходником. Только и всего...
Ну что за непоколебимая вера в магию формы, в волшебные примочки... Сколько не эргономизируй представление для одной модели (а разумной и обоснованной степени это, несомненно, важно), всё равно за её рамки не выпрыгнешь. А в первую очередь важно, как мы думаем. В каких категориях, каких паттернах (в смысле Info21), как мы умеем видеть старые и создавать новые паттерны в новых задачах... А инструмент должен бережно и послушно это поддерживать. Но это идеал, а на практике сегодня приходится добиваться того, чтобы этот инструмент не мешал (т.к. массовые все сплошь мешают). (Вот Ткачёв с Информатикой-21 поставил целью продвинуть в образование такой НЕ МЕШАЮЩИЙ инструмент. Чтобы детей и студентов не калечили собственными уродствами информатики...)
Так вот, возвращаясь к соотношению представления и модели. Если бы Вы обращали более внимание на вторую, а не на первое (хотя я допускаю, что Вам не хватает некоторых теор. знаний по программированию), то не ставили бы и близко паронджановский Дракон и осенковскую Либру. Первый - это сильная модель, в первую очередь. И уже над ней эргономичное представление. Выход в двумерное пространство, от текста к чертежу тоже нужно с умом сделать. Вот второе измерение Вам "дадено", но как Вы его будете использовать? Как оно будет семантически нагружено? Если не начать с этого вопроса, то окажется, что второе измерение будет использовано только под навороты представления - рюшки и боксы всякие... У Паронджанова же оно полностью семантически задействовано. Потому и речь о двумерном расширении Дейкстры. Получается выход с действительной прямой в комплексную плоскость.... А все до одного ваши "примеры более перспективные, чем Дракон" - это обвешивание прямой побрякушками... гырлянда.
Цитата:
и сейчас работает в группе C# IDE Microsoft в Редмонде. Поэтому, весьма возможно, скоро мы увидим возможности Libra интегрированными в MS Visual Studio, а Блэк-Бокс будет вынужден догонять или останется на обочине навсегда.
За Microsoft наблюдать интересно, конечно. Можно даже делать ставки, когда и в каком порядке они реализуют что-то, что было ясно уже лет 20 назад... "Эстоооонская гончая - выведена для загона раненых улиток" (С). Более быстрые внезапно оглядываются и видят, что "отстали". И кидаются назад "догонять".
Были ваши "Либро-структурирование кода" ещё в конце 80-х. По-моему, в реализации Модулы-2 на каком-то семействе машин. Там не было чистого посимвольного текста, а на экране исходник набирался сразу "кубиками" из синтаксического дерева.