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

Size: a a a

Haskell

2020 June 02

тогда если есть (Eq a, Typeable a) => то тогда ты можешь сначала сравнить типы, а потом если совпали воспользоваться словариком Eq

источник

19:07пожаловаться #1

Alexander Vershilov in Haskell

типа data E = forall a .(Eq a, Typeable a) => E a

instance Eq E where
  ea == eb = case ea of
    (E (a::a)) -> case eb of
        (E (b::b)) -> case eqT @a @b of
             Just Refl ->  a == b
             Nothing -> False

источник

19:10пожаловаться #2

Alexander Vershilov in Haskell

что-то такое

источник

19:10пожаловаться #3

Alexander Vershilov in Haskell

писал сразу люда, мог ошибиться

источник

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

Yan Shkurinskiy in Haskell

Ага, всё равно - большое спасибо!

источник

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

Alexander Vershilov in Haskell

а вот скопилялось сразу

источник

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

Alexander Vershilov in Haskell

*Main> (E (1::Int)) == (E (2::Int))
False
*Main> (E (1::Int)) == (E (1::Int))
True
*Main Data.Monoid> (E (1::Int)) == (E (1::Sum Int))
False

источник

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

Alexander Vershilov in Haskell

С точностью до newtype можно и без Typeable конечно

источник

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

Alexander Vershilov in Haskell

И с точностью до реализации newtype скорее всего, но это как-то сложнее

источник

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

Alexander Vershilov in Haskell

Но не надо так (в истории чатика можно найти я на спор так делал (с точностью до newtype))

источник

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

Alexander Vershilov in Haskell

Никто не хочет поспорить про с точностью до словарика? =)

источник

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

Yan Shkurinskiy in Haskell

Alexander Vershilov

С точностью до newtype можно и без Typeable конечно

Ну да, у меня просто дататайп, где некоторые конструкторы экзистенциальные, и нужно ему Eq

источник

19:15пожаловаться #12

Yan Shkurinskiy in Haskell

Сработало, спасибо (лучше мне побольше всё же про Typeable почитать)

источник

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

Alexander Vershilov in Haskell

Alexander Vershilov

типа data E = forall a .(Eq a, Typeable a) => E a

instance Eq E where
  ea == eb = case ea of
    (E (a::a)) -> case eb of
        (E (b::b)) -> case eqT @a @b of
             Just Refl ->  a == b
             Nothing -> False

^ самое разумное если ж действительно надо

источник

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

Leonid 🦇 Onokhov in Haskell

Alexander Vershilov

Скачай узнаешь

ну это говёный интерфейс для хранилища.
ну через list то точно отдать должно

источник

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

Alexander Vershilov in Haskell

В общем я написал в саппорт

источник