я на IR, там нет этого и стектрейсов тоже нет ещё

нормальных

Нихрена себе

Я тут в подкасте Happy Path Programming, в выпуске о котлине с Седриком Беустом интересную мысль касательно checked exceptions услышал. Они развивают мысль о том, что ошибкой были не checked exceptions целиком, а тот факт, что checked / unchecked прибито гвоздями к типу, а не к его применению. Мол, FileNotFoundException в ситуации, когда юзер может выбрать файл, логично иметь как checked, потому что исключительная ситуация тут вполне ожидаемая, и можно, к примеру, попросить юзера выбрать другой файл, а вот в момент чтения конфигов / ресурсов при запуске смысла ему быть checked нет, потому что recovery на деле невозможен.

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

если exception = business logic "if" значит есть проблема с дизайном (системы)

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

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

Возможно, есть смысл разделять это в терминологии на исключения (unchecked) и ошибки (checked), чтобы сбить эту ауру в головах)

где то был хороший дедовский сайтик как раз про исключения, не осилил всё прочитать но полезно

В Ceylon подошли красиво к этому вопросу - там checked exceptions - часть типа, то есть File.open возвращает File | FileNotFound. У них и нулябельные типы - это T | null. Что, в принципе, соответствует ментальной модели значение | ошибка и значение | ничто. Жалко, не взлетел, ибо вышел одновременно с другим языком, который был тупо удобнее.

Ну т.е. сам FileNotFound не обязательно checked, это исключительно сигнатурой функции описывается, которая его бросает? Да, похоже, именно о таком и говорили.

Хотя это тоже ближе к этим вашим монадкам, наверное)

ну с монадой пользователь функции сам решает, checked или нет

в какой-нибудь Result есть getOrThrow

Там и то и то - подвиды untagged union types. В @LanguageDev только что был большой холивар tagged vs untagged.

Читал, ток выводы не понял. Наверна потому, что они не прозвучали. :>

ну в теории и без монад можно try catch сделать вполне и самом у решить что там чекед а что не очень

ну я таки холиварил, что это не совсем правильное название

Да нет, checked так не получится, их же отлов форсить компилятором надо.

потому что вот это

File | FileNotFound

- это всё ещё tagged union

А какие выводы могут быть у холивара? Оппонент несёт ересь, поэтому Deus Vult!

потому что класс тут является тэгом фактически