Size: a a a

2020 May 10

YS

Yan Shkurinskiy in Haskell
А мы тупль в список на типах делаем, чтобы AsParam рекурсивно его обрабатывал?
источник

AV

Alexander Vershilov in Haskell
Не понял если честно
источник

AV

Alexander Vershilov in Haskell
А смотри, у меня же какой кейс, я не для всех случаев делаю тип другой на вход
источник

AV

Alexander Vershilov in Haskell
А зачастую использую тупли и HS.Statement (A,B,C) d
источник

YS

Yan Shkurinskiy in Haskell
AsParams же, я так понял, тайпкласс на списке на типах?
источник

AV

Alexander Vershilov in Haskell
первый параметр это список типов на уровне типов (результат), а второй это тип из которого стартуем
источник

YS

Yan Shkurinskiy in Haskell
Ну, тупли для того, что параметры для энкода пробросить, чтобы потом их $1, $2 соответсвенно позиции, верно?
источник

AV

Alexander Vershilov in Haskell
Первый параметр нужен исключительно для того, чтобы хакнуть компилятор
источник

AV

Alexander Vershilov in Haskell
Да
источник

AV

Alexander Vershilov in Haskell
Ну не пробросить, они для человека
источник

YS

Yan Shkurinskiy in Haskell
А, хакнуть для того, чтобы надо было явно указывать, верно?
источник

AV

Alexander Vershilov in Haskell
т.е. я рядом вижу тип и запрос и могу проверить, чему какой параметр соотвествует, а если он перестанет соотвесттвовать то компиляор ругнётся
источник

YS

Yan Shkurinskiy in Haskell
Как раз то, о чем говорил
источник

AV

Alexander Vershilov in Haskell
не, этого кстати в последней версии не осталось 🙁 придётся тиранией решать
источник

AV

Alexander Vershilov in Haskell
Это для решения проблемы с overlapping instances
источник

YS

Yan Shkurinskiy in Haskell
Ааа (это пока сложно для меня)
источник

AV

Alexander Vershilov in Haskell
Просто с ассоциированными типами в core получалась бы записть UT a ~ a ~ [a]
источник

YS

Yan Shkurinskiy in Haskell
Я пытался читать про оверлаппинг, пытался читать про инкогентные инстансы
источник

AV

Alexander Vershilov in Haskell
т.е. a = [a]
источник

YS

Yan Shkurinskiy in Haskell
Даже кажется тут спрашивал
источник