169 похожих чатов

Всем привет. Сегодня хочу обсудить немаловажную для меня проблему, о

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

И так, начнём с того, как это принято в котлине: стараемся не кидать ошибки, конвертируем ошибки в значения (toIntOrNull(), etc.), но если это ошибка логики, то кидаем как можно быстрее (Fail Fast!).

И вот в этом всём упускается один очень важный момент. Как жить с ошибками, которые кидаются в зависимости от состояния среды? (например, IO) Очень хороший поинт есть в статье @relizarov:

> The special thing about input/output errors is that they are handled in a centralized way by reporting an input/output problem to end-users and/or retrying an operation.

И это работало! Всё время, пока я писал бекенд/ботов/whatever – приложения с одной точкой входа – это работало. Я просто поставил хендлер на ошибки, там где надо, в одном места, и никаких проблем. Но ведь есть и другие приложения – например андроид. Здесь точек входа куча: активити/фрагменты/сервисы. И везде этот самый хендлер надо не забыть поставить.

А если это самое IO крашится только при очень странных обстоятельствах, и сервис используется очень редко, а ещё там корутины неправильно кто-то заиспользовал и стектрейс корявый, то ошибку вообще никак не отловить. На один такой баг я потратил неделю! Хотя это произошло только один раз – теперь по вечерам я мозгую над тем, как этот процесс можно исправить. Я хочу сделать ошибки явными, но при этом не жервтовать простотой кода.

Решение для меня казалось очевидным – завезти монаду Either и сконвертировать все ошибки в значения. Но это не сработало. Оказалось, что у меня больше одной такой ошибки. Я стал получать возвращаемые типы вида Either<ConnectionFailure, Either<AuthFailure, Either<GetUserFailure, User>>>. И это при условии, что это всё комбинируется с sealed interface (в ConnectionFailure 2 значения – HostNotFound, BadRequest, и т.п.). Для меня это кажется неприемлемым, и я пошёл искать другие варианты.

Кроме того, я попробовал полностью на sealed interface – получилось слишком много бойлерплейта. Я даже пробовал контексты под это дело подвести, но не завелось.

11 ответов

108 просмотров
Aλex-Sokol Автор вопроса

Помню в оффтопе @ilmirus писал лонгрид на тему checked или runtime, возможно тебе есть что добавить

Юзай контексты, Люк. class ErrorCoeffect<T: Throwable> inline fun <reified T: Throwable> catching(crossinline c: context(ErrorCoeffect<T>) () -> Unit): Result<Unit> { try { c(ErrorCoeffect()) } catch(t: Throwable) { if (T::class.java.isInstance(t)) { return Result.failure(t) } else { throw t } } }

А, все, почитал что там @y9san9 выше написал, чекеды поверх context, это весело конечно @y9san9 посмотри еще конец доклада про Arrow который был с @fundamentalparticle https://www.youtube.com/watch?v=g79A6HmbW5M

T::class.java еще может взорваться с какими-нибудь @JvmInline value class

Iaroslav Postovalov
T::class.java еще может взорваться с какими-нибудь...

А че, такие экспешены можно нынче в котлине делать?

Aλex-Sokol Автор вопроса

Ну так это же и “хорошо”

Ruslan Ibragimov
Ну так это же и “хорошо”

Список может быть настолько большой что его некомфортно поддерживать, поэтому в реальных приложениях был один BusinessException от которого все наследовалось и враппилось. Не хватает ad-hoc sealed типов, аля: sealed typealias BusinessException = BusinessDaoException | BusinessServiceException | BusinessApuException и тогда в coeffect положить <T : BusinessException>

это можно порешать через KT-13108

Похожие вопросы

Обсуждают сегодня

Господа, а что сейчас вообще с рынком труда на делфи происходит? Какова ситуация?
Rꙮman Yankꙮvsky
29
А вообще, что может смущать в самой Julia - бы сказал, что нет единого стандартного подхода по многим моментам, поэтому многое выглядит как "хаки" и произвол. Короче говоря, с...
Viktor G.
2
30500 за редактор? )
Владимир
47
а через ESC-код ?
Alexey Kulakov
29
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
14
Добрый день! Скажите пожалуйста, а какие программы вы бы рекомендовали написать для того, чтобы научиться управлять памятью? Можно написать динамический массив, можно связный ...
Филипп
7
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
Ребят в СИ можно реализовать ООП?
Николай
33
https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_h_common.erl#L174 https://github.com/erlang/otp/blob/OTP-27.1/lib/kernel/src/logger_olp.erl#L76 15 лет назад...
Maksim Lapshin
20
Карта сайта