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

eitherToMaybe :: Either a b -> Maybe b
eitherToMaybe = either (const Nothing) Just

foo :: Float -> Either String Float
foo x = if x == 0 then Left "oh no" else Right (1 / x)

bar :: Maybe (Float, Float)
bar = do
  a <- eitherToMaybe $ foo 1
  b <- eitherToMaybe $ foo 2
  return (a, b)

источник

14:01пожаловаться #6

Danil Berestov in Haskell

Кажется основная монада все же Either

источник

14:01пожаловаться #7

Danil Berestov in Haskell

Но принцип тот же конечно

источник

14:02пожаловаться #8

Kir in Haskell

Аааа, блин

источник

14:02пожаловаться #9

Kir in Haskell

maybeToEither :: e -> Maybe a -> Either e a
maybeToEither e = maybe (Left e) Right

источник

14:03пожаловаться #10

кана in Haskell

все еще не очень ясно лично мне, зачем нужны все эти функции

источник

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

кана in Haskell

небольшое повышение сложности без бонусов

источник

14:05пожаловаться #12

Kir in Haskell

Согласен, лучше уж отрефакторить всё в MonadThrow m => m () или в MonadExcept e m => m (), на худой конец

источник

14:05пожаловаться #13

[

[BRM]White Rabbit in Haskell

Шоб генерализировать действие?

источник

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

кана in Haskell

как

источник

14:06пожаловаться #15

Danil Berestov in Haskell

Просто конструкторы изэра прячет)

источник

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

[

[BRM]White Rabbit in Haskell

Ну типа ты явно прописываешь мейби-ту-эйзер в отличие от другого варианта

источник

14:07пожаловаться #17

кана in Haskell

да, до MonadThrow уже выглядит немного полезнее

источник

14:07пожаловаться #18

кана in Haskell

и передаешь два аргумента, не очень понятно в каком порядке (что и повышает сложность), и не совсем очевидно какой именно конструктор Either-а берется, потому что в отличии от Except, у Either они равнозначны

источник

14:08пожаловаться #19

кана in Haskell

да, это просто прятанье конструкторов Either-а с повышением сложности

источник

14:08пожаловаться #20