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

16:39пожаловаться #1

Kirill Valyavin in Haskell

Надо навернуть трансформер с монадой, которая это умеет

16:41пожаловаться #2

не понимаю что имеется в виду

16:45пожаловаться #3

[

если smth == 0 то значение функции x
иначе - продолжить дальше идти по ду-нотации

16:46пожаловаться #4

[

у меня слишком много вложенных if-then-else получается

16:47пожаловаться #5

посмотри на имплиситы

16:48пожаловаться #6

возможно в твоем кейсе это будет удобнее

16:48пожаловаться #7

[

не совсем понимаю, что именно смотреть

16:49пожаловаться #8

f :: (?x :: Int) => IO ()
f | ?x == 0 = pure ()
f = do
print 1

16:49пожаловаться #9

implicit params

16:49пожаловаться #10

Kirill Valyavin in Haskell

Ранний выход из процедуры, очевидно же

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

а, нет, не очевидно было, вообще не распознал "вернуть параметр из монады" как императивный ранний выход

16:51пожаловаться #12

всегда можно рано выйти через ExceptT

16:51пожаловаться #13

[

звучит не очень

16:52пожаловаться #14

Kirill Valyavin in Haskell

Ещё есть ContT

16:52пожаловаться #15

хм, почему

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

вроде бы в этом весь смысл ExceptT

16:52пожаловаться #17

someAction :: MonadReader Int m => m Int

f :: Reader Int Int
f = either id id $ runExceptT do
x <- ask
when (x == 0) do throw 42
someAction

16:53пожаловаться #18

[

А с ReaderT оно работает?

16:59пожаловаться #19

да