С++ EH и логика на исключениях

[metaclass]

Хорошо ли в C++ программе делать логику на исключениях?
Я ща втыкаю в одну опенсорсную СУБД в продакшене отладчиком и вижу что там на каждый запрос валится стопицот крестиковых исключений, и не понимаю, это нормально или нет.

Comments

[veter-r-r.livejournal.com]

А есть языки, в которых логику на исключениях делать хорошо?

[http://users.livejournal.com/_slw/]

хаскель?

[veter-r-r.livejournal.com]

там не на исключениях, а на психотропах

[nivanych.livejournal.com]

Агда же!

[potan.livejournal.com]

Нет, исключения там только в IO-монаде.

[permea-kra.livejournal.com]

>Нет, исключения там только в IO-монаде.

Это неправда, исключения там есть еще в Either(T) & Maybe(T), плюс при желании можно бросить исключение даже в чистом коде через fail :: String -> a или неполный паттерн-матчинг. Другое дело, что это порицается.

[potan.livejournal.com]

Either и Maybe - это скорее аналоги null и кодов ошибок, а совсем не исключения.
fail - это монада. Неполный паттерн-матчинг, как и деление на ноль, конечно способ бросить исключение в чистом коде, но перехватить его можно только в монаде IO.

[permea-kra.livejournal.com]

Тьфу ты. Не fail, а error, да. Но возможность есть.

Перехват исключений - да, только в IO.

[potan.livejournal.com]

В OCaml так любят делать. Там исключения очень эффективно реализованы.
В MzScheme(Racket) в стандартной библиотеке ошибки бросают исключения, хоть они и тормозят.