Обработка "ошибок".

[valexey]

Ага. Я слишком вскользь прочёл. Тут речь о каких-то монадах.
Пускай valexey сам решает подходит или нет. 

Ненене, монады как раз нельзя :-) Твой код:

Код: [Выделить]

passed := Check1Passed();
passed := passed & Check2Passed();
Это и есть по сути монада. То есть связывание вычислений через выражение.

[Romiras]

А эти ограничения имеют практический или теоретический (академический) характер?
Чем они обоснованы? Ведь операцию умножения тоже можно запретить. Но нафига?

[valexey]

А эти ограничения имеют практический или теоретический (академический) характер?
Чем они обоснованы? Ведь операцию умножения тоже можно запретить. Но нафига?

Ограничения чисто практические. Причины с примерами я приводил выше.

[kemiisto]

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

[Romiras]

Ага. Я слишком вскользь прочёл. Тут речь о каких-то монадах.
Пускай valexey сам решает подходит или нет. 

Ненене, монады как раз нельзя :-) Твой код:

Код: [Выделить]

passed := Check1Passed();
passed := passed & Check2Passed();
Это и есть по сути монада. То есть связывание вычислений через выражение.

Откуда взят запрет на связывание вычислений через выражения? Если он взят с потолка, то мой вариант должен подойти.

[Romiras]

Вот мой вариант обработки ошибок:

Код: [Выделить]

...
passed := Check1Passed();
passed := passed & Check2Passed();
...


Опять связывание вычислений через выражение. Не годится по выше изложенным соображениям. Также не годится в случае если функция возвращает больше одного значения (в некоторых языках так можно):

Код: [Выделить]

err, res = f1()
В этом случае f1() засунуть в качестве операнда выражения уже не получится.

В предложенных мною конструкциях (внутри булевой функции) можно использовать любые комбинации других возвращающих функций. Главное, вернуть статус: Успех или Неудача.

[valexey]

В предложенных мною конструкциях (внутри булевой функции) можно использовать любые комбинации других возвращающих функций. Главное, вернуть статус: Успех или Неудача.

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

Собственно это первое что я пытался сделать когда начал бороться за читабельность кода.

PS. Вот в такие вот моменты я жутко завидую тем кто пишет на хаскелле.

[alexus]

PS. Вот в такие вот моменты я жутко завидую тем кто пишет на хаскелле.

... или на ассемблере... одна простая "макро-обёрка" вызова... и радуемся...

[valexey]

PS. Вот в такие вот моменты я жутко завидую тем кто пишет на хаскелле.

... или на ассемблере... одна простая "макро-обёрка" вызова... и радуемся...

Ну, не ассемблере, а таки макроасме :-) Но а вообще любому языку можно с макросистемой я в данном случае сильно завидую - тут даже макросов Сишных хватит. Но увы, в целевом языке нет ни макросов ни парадигмы "все есть выражение". То есть такой дубовенький императивный язычок. Сильно более дубовый в этом плане нежели Си.

[adva]

А есть ли возможность вызывать код в виде строки (привожу аналог из 1С):

ФункцияОбертка(Вычислить("ВызываемаяФункция"), Выполнить("ДополнительныйТекстОбработкиКода")). В данном случае все можно сделать в одной функции, правда код будет в виде текста, что не очень удобно

[valexey]

А есть ли возможность вызывать код в виде строки (привожу аналог из 1С):

ФункцияОбертка(Вычислить("ВызываемаяФункция"), Выполнить("ДополнительныйТекстОбработкиКода")). В данном случае все можно сделать в одной функции, правда код будет в виде текста, что не очень удобно

Нет, функции eval нет. Просто потому, что в этом случае пришлось тащить с собой компилятор.

[DIzer]

Не пронял, зачем нужна переменная еrr (по смыслу содержит указатель возвращаемый мелкими функциями....) вполне можно и без него ..  или нет?

[valexey]

Не пронял, зачем нужна переменная еrr (по смыслу содержит указатель возвращаемый мелкими функциями....) вполне можно и без него ..  или нет?

Это код ошибки. И функции не мелкие.

[DIzer]

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

[valexey]

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

Ничего не понял. Он используется (как минимум его проверяют на nil). Для пущего использования замени logError() на logError(err);

Код: [Выделить]

err = f1()
if (nil == err) {
    err = f2()
    if (nil == err) {
        err = f3()
        if (nil == err) {
        ...
        }
    } else {
        logError(err);
    }
} else {
    logError(err);
}