p
(нет)
?
Size: a a a
2020 February 26
В
proc-macro всё ещё жуть нечитаймая
В
по сорцам сложно что-то понять
p
Это да
p
Но уже хоть что-то
p
Можно будет в модуле рядом с крейтом держать
В
Мощный инструмент, хорошо что он есть, но если можно обойтись бзе него — так и стоит
DS
А почему бы не сделать как в шейплессе каком-нибудь.
Когда каждый тип представляется как HList + Coproduct и тебе достаточно описать реализацию своего тайпкласса для HList и Coproduct, а остальное за тебя сделает библиотека
Когда каждый тип представляется как HList + Coproduct и тебе достаточно описать реализацию своего тайпкласса для HList и Coproduct, а остальное за тебя сделает библиотека
DS
Имхо, для дерайвинга тайпклассов ничего вариант
DF
А что за лист и копродукт?
DF
Ребята наверное как я, с шейплесом не сталкивались
DS
Dollar Føølish
А что за лист и копродукт?
См. крейт frunk в расте.
HList - гетерогенный список, считай tuple произвольной длины.
Coproduct - копродукт, считай с произвольным числом вариантов.
HList - гетерогенный список, считай tuple произвольной длины.
Coproduct - копродукт, считай с произвольным числом вариантов.
λ
А почему бы не сделать как в шейплессе каком-нибудь.
Когда каждый тип представляется как HList + Coproduct и тебе достаточно описать реализацию своего тайпкласса для HList и Coproduct, а остальное за тебя сделает библиотека
Когда каждый тип представляется как HList + Coproduct и тебе достаточно описать реализацию своего тайпкласса для HList и Coproduct, а остальное за тебя сделает библиотека
Это ортогонально макросам же
λ
Нормальная рефлексия в макросах нужна
λ
Генерики тоже нужны
λ
Dollar Føølish
А что за лист и копродукт?
HList - это просто индуктивный тупл
DS
Это ортогонально макросам же
Но тот рефлект как раз для написания кастомного дерайвинга, насколько я понял.
DS
Я правда особо не вчитывался
DS
Нормальная рефлексия в макросах нужна
Для этого надо делать нормальные типизированные AST в макросах, но в расте никто таким заниматься не хочет насколько я понял