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

через генерики проще всего наверное

11:26пожаловаться #1

при условии конечно, что генерики есть

11:26пожаловаться #2

Имеешь ввиду - руками написать?

11:34пожаловаться #3

в смысле

data Foo deriving Generic

instance Arbitrary Foo where
    arbitrary = genericArbitrary
    shrink = genericShrink

11:35пожаловаться #4

я даже не уверен, что это лучший вариант, но у меня такого дофига в коде

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

и это такой не самый стремный вариант скажем

11:36пожаловаться #6

единственная проблема с ним — он может ломать инварианты для каких-то data

11:36пожаловаться #7

им нельзя генерировать Data.Map например, потому что он не генерирует сбалансированное дерево

11:37пожаловаться #8

и всякое такое

11:37пожаловаться #9

О, genericArbitrary я почему-то не видел

11:37пожаловаться #10

Гляну, спасибо!

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

блин, я оказывается делал точно так же ( просто забыл

11:47пожаловаться #12

а никак. типы стираются, и передача значения Int не означает передачу словарика Eq Int

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

ЖК

Жук Короед in Haskell

Типы-то в рантайме стираются, а тут компайл-тайм вычисления.

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

словарики тоже передаются в рантайме. надо во время компиляции так сделать, чтобы словарик был в рантайме. как?

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

кана in Haskell

а зачем нужен KBool

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

кана in Haskell

это же обычный Bool

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

если минимизировать пример, будет

cmp :: forall (flag :: Bool) a. If flag (a ~ Int) (Eq a) => a -> a -> Bool
cmp x y = x == y

Could not deduce (Eq a) arising from a use of ‘==’
from the context: If flag (a ~ Int) (Eq a)

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

я умею это костылять тайпклассом

class Cmp (flag :: Bool) a where
  cmp :: a -> a -> Bool

instance Cmp True Int where
  cmp x y = x == y

instance Eq a => Cmp False a where
  cmp x y = x == y

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

наверно, проблема в том, что If — это не коструктивная дизъюнкция. нужно что-то вроде Either