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

вот именно это вы и хотите — отдельные ветви вынести в отдельные типы. кому-то было бы удобнее, если бы каждая ветка автоматически создавала тип? возможно. не факт

источник

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

Jerzy Syrowiecki in Haskell

мне иногда хочется, чтобы в Хаскеле можно было на ходу создавать type-tagged union

takeEither :: (First | Second | Third) -> Text
takeEither = \case
  First _ t -> t
  Second _ t -> t
  _ :: Third -> "third"

источник

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

Kir in Haskell

type (<|>) = Either

источник

17:23пожаловаться #10

кана in Haskell

не, это не то, с Either еще путь нужно указывать

источник

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

кана in Haskell

а так это же open union делает

источник

17:24пожаловаться #12

Kir in Haskell

И то верно

источник

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

кана in Haskell

можно добавить паттерн синоним, вышло бы

takeEither :: Union [First, Second, Third] -> Text
takeEither = \case
P (First _ t) -> t
P (Second _ t) -> t
P (_ :: Third) -> "third"

источник

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

Jerzy Syrowiecki in Haskell

да, если не обращать внимания на лишние слова. а я обращаю

источник

17:29пожаловаться #15

Jerzy Syrowiecki in Haskell

как исчерпание проверять?

источник

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

кана in Haskell

наверное никак

источник

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

Kir in Haskell

takeEither :: Sum [F, S, T] -> Text
takeEither s = case project s of
  Right (F t) -> t
  Left s' -> case project s' of
    Right (S t) -> t
    Left s'' -> case project s'' of
      Right _ -> "third"

источник

17:35пожаловаться #18

Jerzy Syrowiecki in Haskell

ну вот я имел в виду сахар над этим всем

источник

17:40пожаловаться #19

Ilya Kos in Haskell

источник

17:53пожаловаться #20