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

class KnownTag (t :: Tag) where
  stag :: (t ~ 'Tag1 => r) -> (t ~ 'Tag2 => r) -> r

instance KnownTag 'Tag1 where
  stag f _ = f

instance KnownTag 'Tag2 where
  stag _ f = f

И дальше писать

deriveAlpha :: forall t . KnownTag t => Dict (Alpha t)
deriveAlpha = stag @t Dict Dict

Но совсем от констрейнтов IIRC не избавиться

источник

19:54пожаловаться #4

кана in Haskell

data family Tag3 :: k

x :: Foo Tag3
fun x

инстансов для Alfa, Bravo для Tag3 нет, че делать не ясно

источник

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

I O in Haskell

Удобнее конечно

deriveAlpha :: forall t r . KnownTag t => (Alpha t => r) -> r
deriveAlpha f = stag @t f f

но идея понятна

источник

19:56пожаловаться #6

кана in Haskell

можно еще вместо класс сделать экзист

источник

19:56пожаловаться #7

кана in Haskell

data SomeFoo = forall tag. Alfa tag => SomeFoo (Foo tag)

fun :: SomeFoo -> Bar
fun (SomeFoo foo) = baz (qux foo)

foo1 :: Foo Tag1
foo2 :: Foo Tag2

fun (SomeFoo foo1)
fun (SomeFoo foo2)

источник

19:57пожаловаться #8

кана in Haskell

это по сути как и KnownTag выше, только вместого кастомного элиминатора используется дефолтный хаскельный при патмаче SomeFoo

источник

19:58пожаловаться #9

Yuuri in Haskell

Жуть 😵 А если третий тег появится?

источник

20:00пожаловаться #10

Jerzy Syrowiecki in Haskell

не в Хаскеле, а в моей теории только эти два. теперь надо это выразить в Хаскеле, самом выразительном языке на свете