ЗП
First class instances вроде
Size: a a a
2020 May 09
АХ
Уже легло
Да. В прокрустово ложе :)
AV
Норм всё
AV
не понимаю, что не так
AV
encoder = HE.params @'[T.Text, UTCTime, UTCTime, Int32, T.Text, T.Text, T.Text, [T.Text]
, Bool, HE.JsonbValue, Maybe T.Text, Bool, HE.JsonbValue, Maybe Bool]
, Bool, HE.JsonbValue, Maybe T.Text, Bool, HE.JsonbValue, Maybe Bool]
AV
Вот такая красота
АХ
Я разочаровался в таких конструкциях :(. А проблему с concat решить не удалось?
AV
Удалось, но не в ошибках типов
AV
Ошибки ужасны
AV
Тут на самом деле тип выводится сам, но я хочу чтобы его писали, чтобы если меняют кодек, то тип бы разваливался
AV
Тогда решается одна из главных проблем c hasql можно даже generic кодек делать
АХ
Я помню, довольног больно ударялся о невозможность доказать
xs ++ (ys ++ zs) ~ (xs ++ ys) ++ zs и прочие похожие тождестваA
Тут на самом деле тип выводится сам, но я хочу чтобы его писали, чтобы если меняют кодек, то тип бы разваливался
главное чтобы не разваливалися если даже кодек никто не меняет
AV
Я помню, довольног больно ударялся о невозможность доказать
xs ++ (ys ++ zs) ~ (xs ++ ys) ++ zs и прочие похожие тождестваВ coq норм!
АХ
Здесь вам не кок
AV
Поэтому я прошу юзера ввести тип!
AV
И мне надо только сравнить!
MK
Я помню, довольног больно ударялся о невозможность доказать
xs ++ (ys ++ zs) ~ (xs ++ ys) ++ zs и прочие похожие тождестваК счастью есть unsafeCoerce)
АХ
Который в общем случае unsafe :(
IK
ну для натов-то такая функциональность в base есть
А я смогу его потом в typefamily засунуть если мне это нужно? Наверное нет потому что сильно сомневаюсь что в рантайме сохраняются typefamilies, но все равно спрошу.