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

Size: a a a

Haskell

1587 membersпожаловаться на группу

2021 May 18

¯\_(ツ)_/¯ in Haskell

так что если little-endian, то Generic не поможет

источник

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

Сергей in Haskell

а cereal?

источник

22:17пожаловаться #2

Сергей in Haskell

а может от машины зависит? может на little endian будет little endian

Dmitriy Mozhevitin in Haskell

Господа, подскажите пожалуйста: имеется

f :: x -> Either a y
g :: y -> Either b z
h :: z -> Either a z'

хочу максимально не мерзким образом получить что-то в духе h . g . f , чтобы в итоге был Either a z'
через функторы не получается потому что Either a и Either b это разные типы, а через бифункторы получается что-то в духе Either a (Either b z) что тоже не очень вкусно
Можно ли как-то лаконично one-liner'ом это разрешить?

источник

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

Сергей in Haskell

h =<< g =<< f x

источник

22:24пожаловаться #6

кана in Haskell

не сработает

источник

22:24пожаловаться #7

Сергей in Haskell

а, точно

источник

22:24пожаловаться #8

Dmitriy Mozhevitin in Haskell

да, по той же причине по которой не работает функтор

источник

22:24пожаловаться #9

кана in Haskell

можно во первых в Maybe забыть, раз ошибка не важна

источник

22:24пожаловаться #10

кана in Haskell

во вторых можно патмачем просто

источник

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

I O in Haskell

А что должно происходить есть g вернет Left (_ :: b)?

источник

22:25пожаловаться #12

кана in Haskell

q :: x -> Maybe z'
q x | Right y <- f x, Right z <- g y, Right z' <- h z = Just z'
q _ = Nothing

источник

22:25пожаловаться #13

кана in Haskell

еще линзами просто будет

источник

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

Dmitriy Mozhevitin in Haskell

в теории хотелось бы вернуть специально подготовленное для этого фиксированное значение типа a , но и Left memtpy покатит (Monoid a имеет место быть в данном случае)

источник

22:26пожаловаться #15

кана in Haskell

q :: x -> Maybe z'
q = firstOf (to f . _Right . to g . _Right . to h . _Right)

источник

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

Dmitriy Mozhevitin in Haskell

благодарю

источник

22:28пожаловаться #17

I O in Haskell

f >=> g >>> first (const def) >=> h если я нигде не ошибся, где def - то, чем заменить b. Если def = mempty можно const mempty заменить на просто mempty

источник

22:34пожаловаться #18

Dmitriy Mozhevitin in Haskell

:pogchamp:

источник

22:38пожаловаться #19

Dmitriy Mozhevitin in Haskell

*ушел читать про Control.Arrow*

источник

22:39пожаловаться #20