Также в Ada исключения чудо как хороши.

One Ada subset of note is the SPARK language (http://www.sparkada.com/spark.html), which is designed to support the development of software used in applications where correct operation is vital either for reasons of safety or business integrity. A SPARK program has a precise meaning which is unaffected by the choice of Ada compiler and can never be erroneous. SPARK includes Ada constructs regarded as essential for the construction of complex software, such as packages, private types, typed constants, functions with structured values, and the library system. It excludes tasks, exceptions, generic units, access types, use clauses, type aliasing, anonymous types, default values in record declarations, default subprogram parameters, goto statements, and declare statements. SPARK was designed for use in high integrity applications; it is therefore essential that it exhibits logical soundness, simplicity of the formal definition, expressive power, security, verifiability, bounded space and time requirements, and minimal runtime system requirements.

Может быть, не столь уж хороши, если в SPARK (подмножество Ada для критических приложений) не попали

связи между функциями – прекрасное место для работы с ошибками

Посмотрите как исключения сделаны в Haskell'e. В языке их нет. Это библиотечная штука.

У вас есть хорошая ссылка "под рукой"?

Посмотрите как исключения сделаны в Haskell'e. В языке их нет. Это библиотечная штука.

Кстати, при разработке MFC исключения тоже были реализованы не как часть языка. Хоть и макросы, но ведь от языка - независимо. Мысль хорошая!

... я вижу две возможности привязать обработку исключений к функциям/процедурам в структурном редакторе:

• можно предусмотреть стандартное задание условий вызова обработчиков исключений при табличном описании входных и выходных параметров и возвращаемого значения функции/процедуры;

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

Чем она хорошая? Следованием модной тенденции "вынесем в стандартную библиотеку всё, что только возможно"? В PureBuilder нет никакой границы между встроенным языком и стандартной библиотекой. Если бы это была многоязыковая система (а-ля .NET), то тогда это имело бы хоть какой-то смысл.

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

Для замечаний и предложений:

Обработка исключительных ситуаций в PureBuilder

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

Вот такой вопрос возникает...

Делать ли такую ситуацию исключением - решает программист.

Если он решит сделать ее исключением, то процедура Б, вызвавшая исключение, будет принудительно завершена без возврата каких-либо значений параметров. Что делать в этом случае - опять же решает программист, который пишет обработчик в вызывающей процедуре А.

Если программист хочет, чтобы нештатно завершившаяся процедура Б вернула какие-то значения, то он не сможет воспользоваться механизмом исключений. Чтобы всё же использовать механизм исключений, ему придется разбить свою процедуру Б на две. Нештатная процедура Б2 вызовет исключение и бесследно завершится, а другая процедура Б1 обработает исключение и вернет какие-то параметры в вызывающую процедуру А.

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

Во-первых, часто просо кода ошибки (названия исключения) не достаточно, а требуется ещё некоторая дополнительная информация. В случае необходимости "ручной" обработки программисту придётся эту дополнительную информацию передавать и обрабатывать, а что делать с "автоматической"? Когда данные о процедуре, вызвавший исключение теряются.

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

В таком случае изменения модуля (mod1) будут требовать обязательной перекомпиляции модуля (mod2).