ᛒ
можешь везде таскать SomeCategoricalObjectError кста
Size: a a a
2020 April 28
Oℕ
БИО - статический анализ ошибок
Oℕ
эндофункторы - динамический
Oℕ
Raise \ Handle \ MonadError - динамический анализ ошибок
R
так и запишем, био для тайпастронавтов, ендофункторы для скриптовиков бывших
ΛВ
а шо там с БИО чет придумали уже нормальное?
Oℕ
ну вопрос, насколько БИО - это тайп астронавтика
Oℕ
у меня отношение к бифункториальному контролю ошибок примерно как у недельку
Oℕ
типа это нужно в 10% кода
Oℕ
но бифункторная фигня обязывает тебя иметь их везде
Oℕ
ну или не обязывает
Oℕ
Я пока не понял
R
у меня перед сном была мысль что для био хорошо бы свою иерархию ошибок сделать и их использовать, а подтипы ексепшона в частных случаях обрабатывать и конвертить в свой тип. Тогда можно будет где лень думать засувовать MyBaseError, а где не лень смотреть на раскошное дерево возможных исходов
Oℕ
Ну идея био как раз в отсутствии иерархий ошибок
R
но думаю это очевидно
ΛВ
я вот чего не пойму: в ТФ что монад еррор, что рэйз никак не дают понять, что какая-то алгебра имеет свойство ошибки кидать