Коды возврата vs исключения: взгляд с колокольни

Боже что это?

Я походу C-зависимый)) Стиль лиспа вызывает немного отвращения)) Сори за спам…

в некоторых языках такая проблема даже не стоИт, т.к. вопрос «что выбрать, коды возврата или исключения» в таком языке является низкоуровневым

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

В lisp, насколько я помню, special form throw действительно передает управление на парный catch, который может быть в другом месте кода. Но ведь для кодов возврата придется использовать process-retcode-answer для каждой функции — это как бы полный аналог ENSURE? Либо я чего-то не понял, либо всемогущие синтаксические макросы лиспа тут не дают никакой разницы.

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

> Т.к. для программиста, использующего тот же «foreach»,
> нет никакой разницы, использовали ли создатели языка while или for

Если на то пошло, в имплементации while и for нет никакой разницы :-)

Может стоит для жалких смертных не знакомых с макросами Clojure добавить их перевод на русский? Сдаётся мне примерно 95% прочитавших так же как и я не поняли код собственно обработки кодов и исключений.

Между исключениями и кодами возврата есть существенная разница: исключения позволяют выполнять нелокальные переходы управления.

Он не пишет паттерны снова и снова. Он просто «создает» язык, в котором может наиболее естественно, наглядно и кратко сформулировать решение поставленной перед ним задачи. Профессия становится не ремеслом, а искусством.

Наверное пару раз написав, хочется перейти к готовым решениям? Поделитесь опытом.

По теме, зачем ставить такой выбор, исключения против кодов, ведь можно совместить. На пример в эрланге стандартная практика возвращать что типа {ok, Value} или {error, Reason}: тут тебе и коды возвратов (атомы как енумы), и полезная нагрузка. Паттерн матчинг таких возвратов в случае успеха выполнит нужную логику, в случае неудачи автоматом пробросит ошибку дальше(let it crash)

Статья написаная ценителем лиспа для ценителей лиспа ;(