KC
Size: a a a
2020 April 28
ΛВ
вот это нет вроде
ΛВ
Переслано от Λнтон Войцишевский...
ну я вот потыкал сейчас, чтобы потом к котовому ИО перейти мне нужно апкаст оптику к Exception все равно сделать, я верно понял?
ΛВ
мол инстансы рэйза можно сделать только приведением в каком-то смысле ошибок к експшнам
R
котоио работает с базовым типом исключений вродь жеж, так что если твоя ошибка от него отнаследована то должно нормас работать
ΛВ
котоио работает с базовым типом исключений вродь жеж, так что если твоя ошибка от него отнаследована то должно нормас работать
ну я пытаюсь понять, можно ли избежать этого
ΛВ
хочу БИО без БИО
Oℕ
Переслано от Λнтон Войцишевский
ну я вот потыкал сейчас, чтобы потом к котовому ИО перейти мне нужно апкаст оптику к Exception все равно сделать, я верно понял?
да
Oℕ
но на самом деле не обязательно
Oℕ
смотря что там у тебя за ИО, оно же не чистое, наверное
ΛВ
смотря что там у тебя за ИО, оно же не чистое, наверное
да хоть котовое
ΛВ
хоть моникстаск
Oℕ
ну у тебя же будет поверх него какой-то ридер
ΛВ
если я тебя верно понял, то нет
R
хочу БИО без БИО
можешь везде таскать SomeCategoricalObjectError кста
R
правда там еррор инвариантный
R
но почему э о должно помешать с другой стороны
Oℕ
Ну в общем, не обязательно, если юзается конкретный эффект, тип ошибок должен быть подтипом эксепшона, мало того, не обязательно в процессе работы эти ошибки должны менеджиться встроенным способом в базовый тип, там может быть и трансформер в середине