KV
Есть какая-нибудь готовая штука, чтобы траверсить рекорды (HKD) с индексами в виде текстового представления полей?
"рекорды (HKD) с индексами в виде текстового представления полей"
это
data X f = X
{ a :: f "a" Int
, b :: f "b" String
}
?
Size: a a a
2021 February 09
KV
"рекорды (HKD) с индексами в виде текстового представления полей"
это
data X f = X
{ a :: f "a" Int
, b :: f "b" String
}
?
это
data X f = X
{ a :: f "a" Int
, b :: f "b" String
}
?
Нет, в самих полях этого не должно быть
В barbies есть обычный травёрс по полям, но я хочу, чтобы каждое конкретное действие зависело от имени поля
В barbies есть обычный травёрс по полям, но я хочу, чтобы каждое конкретное действие зависело от имени поля
KV
Т. е. я в хкд для каждого поля запихиваю действие, которое зависит от значения и от имени поля, а потом выворачиваю сиквенсом
KV
С обычным травёрсом зависимость от значения, но не от имени
KV
"рекорды (HKD) с индексами в виде текстового представления полей"
это
data X f = X
{ a :: f "a" Int
, b :: f "b" String
}
?
это
data X f = X
{ a :: f "a" Int
, b :: f "b" String
}
?
В принципе это бы мне помогло, но это как-то убого
KV
а запихивать сразу в HKD действия, которые знают, в каком они поле - бойлерплейт?
Ну можно написать фигню, которая конвертирует доступ к полю в текстовое предоставление и обратно, но я ж не хочу
KV
Я знаю, как получить список значений полей и список имён по отдельности... И наверное не очень плохо будет это просто зипнуть
JS
generic-sop подойдёт?
KV
generic-sop подойдёт?
Да
KV
с HKD+generics-sop-ом сложность в том, что я не нашел какого-нибудь тривиального способа написать NP I [f a, f b] -> NP f [a, b]
Оказывается, можно сгенерить имена через barbies-th, потом сделать bprod с имеющимся рекордом и потом уже травёрс
ЗП
Нет, в самих полях этого не должно быть
В barbies есть обычный травёрс по полям, но я хочу, чтобы каждое конкретное действие зависело от имени поля
В barbies есть обычный травёрс по полям, но я хочу, чтобы каждое конкретное действие зависело от имени поля
мб тебе надо ttg там можно на каждый символ свою tf повесить
KV
мб тебе надо ttg там можно на каждый символ свою tf повесить
Ну это же жесть
KV
Писать свою тф - всё равно тот же самый бойлерплейт
KV
На каждое поле