типа "FileNotFound" вместо Either? Тупо же как-то. Сисколы и всякие сишные обертки же не роняют программу эксепшеном, а как белые люди возвращают ненулевой return code. Очередное исторически сложилось?
Тогда все программы будут состоять на 90% из обработки исключений
не обязательно, монады же скрывают это
там несколько причин было, одна из которых — набор исключений открытый и зависит от платформы
Одну монаду на всех не сделать
IO ничего не скрывает
это пример одной монады на всех. вместо неё могла бы быть CheckedIO
Ты не можешь адекватно комбинировать несколько различных типов исключений с Either
Ага. И это тоже. Я так и ниасилил нормальный еггог-хендлинг с either. А эксепшены не люблю. Внутренний конфликт порождает фрустрацию.
Исключения с системами эффектов неплохо работают
Чем и спасаюсь пока в основном.
В расте все вот через either, и я бы не сказал что это очень удобно.
Ну мы тут уже выяснили по пути
Обсуждают сегодня