YS
А мы тупль в список на типах делаем, чтобы AsParam рекурсивно его обрабатывал?
Size: a a a
2020 May 10
AV
Не понял если честно
AV
А смотри, у меня же какой кейс, я не для всех случаев делаю тип другой на вход
AV
А зачастую использую тупли и
HS.Statement (A,B,C) dYS
AsParams же, я так понял, тайпкласс на списке на типах?AV
первый параметр это список типов на уровне типов (результат), а второй это тип из которого стартуем
YS
Ну, тупли для того, что параметры для энкода пробросить, чтобы потом их $1, $2 соответсвенно позиции, верно?
AV
Первый параметр нужен исключительно для того, чтобы хакнуть компилятор
AV
AV
Ну не пробросить, они для человека
YS
А, хакнуть для того, чтобы надо было явно указывать, верно?
AV
т.е. я рядом вижу тип и запрос и могу проверить, чему какой параметр соотвествует, а если он перестанет соотвесттвовать то компиляор ругнётся
YS
Как раз то, о чем говорил
AV
не, этого кстати в последней версии не осталось 🙁 придётся тиранией решать
AV
Это для решения проблемы с overlapping instances
YS
Ааа (это пока сложно для меня)
AV
Просто с ассоциированными типами в core получалась бы записть UT a ~ a ~ [a]
YS
Я пытался читать про оверлаппинг, пытался читать про инкогентные инстансы
AV
т.е. a = [a]
YS
Даже кажется тут спрашивал