YS
я просто не прочитал весь тред(
Size: a a a
2021 January 21
VS
По работе с исключениями и в целом эффектами
YS
ааа
K
вот кстати ничего в них плохого не вижу, если использовать как надо
Сунуть в них сумму типов, обернуть в
Codensity и получить систему эффектов?VS
Где исключение это один из эффектов
MK
хаскельные исключения это не просто один из эффектов
MK
они сложные
YS
Сунуть в них сумму типов, обернуть в
Codensity и получить систему эффектов?надо разобраться что такое
CodensityMK
хотя бы из-за асинхронных
VS
Это я примерно понимаю
VS
Из книги марлоу
VS
Но жить то как-то нужно
MK
надо
MK
кстати возможно в haskell in depth про это есть
MK
не уверен
VS
Меня сейчас интересует, что лучше всего использовать
YS
кажется есть два основных подхода
- Все исключения кидаем и ловим в IO
- Делим исключения на "свои бизнесовые" и та IO бяка, которая может прилететь из разных мест
- Все исключения кидаем и ловим в IO
- Делим исключения на "свои бизнесовые" и та IO бяка, которая может прилететь из разных мест
VS
Если я захочу свой юзерский эксепшн кидать
VS
И чтобы композибилити был
K
надо разобраться что такое
CodensityЭто то, что уменьшает сложность
Конечно, можно и руками сделать
>>= фримонад c O(n^2) до O(n). Эдакий DList для монад.Конечно, можно и руками сделать
| Get (a -> r), но это такое.