OberonCore

Выделено: viewtopic.php?p=45876#p45876

Александр
Рекомендую, исключить логические выражения, лучше так:

Смотрите - В.Д. Паронджанов, "Как улучшить работу ума", глава 9: "Визуализация логических формул".

В справке к и.с. DRAKON

Геннадий, визуализируйте условие из WHILE, ничто этому не мешает.
Когда все условия собраны в WHILE, это гарантирует, что действие на "петле цикла" только одно, без прерываний; а условия - наоборот, без промежуточных действий. Сами условия действительно визуалятся хорошо.

По поводу "защиты LOOP" у Вас две принципиальных ошибки:
1) Вы пытаетесь опыт визуального языка тащить обратно в текст. Обосновывать что-то для текста, ссылаясь на Паронджанова, нельзя - т.к. идея Паронджанова как раз в уходе от текста. Если работаем с линейным текстом, приходится использовать другие, "старые", критерии.

2) Вы так и не собираетесь расширить сектор своего видения на тему доказательного программирования и свойств программ. Без этого получается переливание из пустого в порожнее. Поймите простую вещь - можно будет обсуждать конструктивно и недостатки традиционного структурного программирования, и то, как можно по-другому (как там Вам нравится...), если Вы будете аргументировать на другом уровне. Любая идея в науке/технике должна быть обоснована автором на должном теоретическом уровне; иначе её нельзя ни принять (недостаточно оснований), ни опровергнуть (автор не понимает аргументов).

Прим.: Последнее касается Вас, а не Паронджанова, т.к. Паронджанов не делает кривых обобщений; а на том поле, которое берёт (эргономичность чертежа), обосновывает убедительно.

Илья
В.Д. Паронджановобобщил практику программирования в текстовых языках в большом количестве литературных источников и нельзя утверждать, что его вывод относится только к графическому языку Дракон. Такое утверждение является ошибочным !!!

Я, исходя из личной практики, полностью согласен с выводом В.Д. Паронджанова приведенным выше.

Ранее относительно "LOOP" ничего не говорил. Но -
1. Данный цикл ничем не хуже "WHILE".
2. Использование его позволяет выполнить декомпозицию алгоритма, т.е. функционально разделить и сделать прозрачнее пред и пост условия цикла, выбора условий как одиночной, так и множественной обработки данных.

Ваше стремление исключить "LOOP", обедняет арсенал средств в КП.

Как же прозрачнее, если я должен лазить по всем веткам внутренних IF-ов и собирать их условия, чтобы получить представление о постусловии цикла?
(на всякий случай, для контроля взаимопонимания: постусловие - логическое утверждение, истинное в точке после цикла).

У В.Д. Паронджанова ничего не сказано о доказательном программировании.

Так как программирование является занятием целенаправленным, то между формулировкой цели и программированием имеются этапы - декомпозиции задачи и формирование алгоритмов для каждого участка задачи. Эти этапы могут быть выполнены графически на Драконе или мысленно. При этом, программирование будет сведено к реализации алгоритмов.

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

Ранее, мною говорилось о возможной парадигме программирования: алгоритмо-ориентированном программировании - АОП.

Правильно. Но Владимир Даниелович очень аккуратно остаётся на своём поле. Вы же, пытаясь ссылаться на его книги, выдвигаете такие сильно-общие мысли, которые уже требуют для своего обоснования понимания доказательного программирования.

Доказательное программирование выдвигает определённые требования к конструкциям алгоритма. Этим требованиям нужно удовлетворять (и показывать, каким именно образом). Иначе предлагаемые конструкции неинтересны, они не соответствуют требованиям "сегодняшнего дня" (который начался уже 40 лет как, с момента того, как появились методы доказательства свойств программ).

AOP -- Aspect Oriented Programming -- Аспектно-ориентированное программирование -- АОП.