Телеграмм чат группы haskellru страница 15274

я ошибки "бузинес логики" обрабатываю в локальных ExceptT

11:35пожаловаться #1

или Validation

11:35пожаловаться #2

Kir

Это то, что уменьшает сложность >>= фримонад c O(n^2) до O(n). Эдакий DList для монад.

Конечно, можно и руками сделать | Get (a -> r), но это такое.

Ааа, слышал

11:35пожаловаться #3

а все настоящие эксепшены прорастают до варповского хендлера

11:35пожаловаться #4

ассоциативность меняет?

11:35пожаловаться #5

у меня ни одного catch в коде

11:35пожаловаться #6

кажется

11:35пожаловаться #7

Yan Shkurinskiy

ассоциативность меняет?

типа

11:35пожаловаться #8

ну ещё и фьюжн позволяет

11:35пожаловаться #9

если все хендлеры INLINE

11:35пожаловаться #10

ну я просто думаю, что когда надо работать с IO плотно - там не надо фримонады

11:36пожаловаться #11

но это так - мнение из ничего

11:36пожаловаться #12

фримонады для бузинес логики

11:36пожаловаться #13

слушать его не надо)

11:36пожаловаться #14

Kir in Haskell

В случае системы эффектов можно доказать, что в таком-то месте Error Foo ловится.

11:36пожаловаться #15

Maxim Koltsov

фримонады для бузинес логики

вот да

11:36пожаловаться #16

три леер кейк опять же

11:36пожаловаться #17

я то просто их не пользую

11:37пожаловаться #18

но наверное пользовал бы так

11:37пожаловаться #19

Kirill Valyavin in Haskell

Maxim Koltsov

я ошибки "бузинес логики" обрабатываю в локальных ExceptT

Норм, от IO исключений всё равно не убежать, а свои лучше чтоб не расползались сильно