DF
Ты еражуру хочешь сделать для глиста?
Size: a a a
2020 October 25
p
там суть в том что куча трейтов. но конкретно для глистов я трейты не реализовываю.
p
ага, это из-за глистов. когда я добавлю туда тип отличный от предыдущих, выскакивает эта странная ошибка.
DF
Ну каждый элемент глиста он даёт к типу что-то
p
то есть
HList![A<_>, A<_>, A<_>] норм
HList![A<_>, A<_>, B<_>] не норм
HList![A<_>, A<_>, A<_>] норм
HList![A<_>, A<_>, B<_>] не норм
EG
А были бы в расте плоские туплы — не нужны были бы глисты
EG
(T1, (T2, T3)) должно быть совместимо с (T1, T2, T3)A
Подскажите книгу для введения в раст на русском
EG
Aleksey23
Подскажите книгу для введения в раст на русском
EG
А лучше — выучить английский, на русском всегда материалов реально мало
A
Да поняяятно
A
Спасибо
Э
(T1, (T2, T3)) должно быть совместимо с (T1, T2, T3)Ну, можно обмазаться ньютайпами и
repr(C), чтобы было совместимо.EG
Ну, можно обмазаться ньютайпами и
repr(C), чтобы было совместимо.Оно не будет совместимо на уровне типов
Rust откажется передавать
Rust откажется передавать
(T1, (T2, T3)) в функцию, которая ожидает (T1, T2, T3)Э
Трансмут ту зе реськью.
Э
Но на уровне пользовательского кода этот функционал очень больно реализовывать, да.
Э
В safe transmute это можно было бы запихать, но сам safe transmute ещё не готов и я даже не знаю, будет ли когда-нибудь готов.
p
кстати, а почему у раста настолько херовый вывод типов для ассоциированных типов? у меня тип не выводился, я в либе поменял ассоциированный тип на дженерик (юзер код не менялся никак), и все вывелось.
EG
В safe transmute это можно было бы запихать, но сам safe transmute ещё не готов и я даже не знаю, будет ли когда-нибудь готов.
Вроде, safe transmute сейчас модное направление
EG
кстати, а почему у раста настолько херовый вывод типов для ассоциированных типов? у меня тип не выводился, я в либе поменял ассоциированный тип на дженерик (юзер код не менялся никак), и все вывелось.
Покажи минимальный пример