EG
Мы делаем трейт Compare<L, E, R>
Size: a a a
2020 December 31
D
есть HashMap<K, V>
D
это все что торчит пользователю
p
Пишем
impl<T1, T2, L, E, R> Compare<L, E, R> for (T1, T2) where {size_of::<T1>() < size_of::<T2>()} {
type Output = L;
}Эээ́э это валмдный код на расте?
EG
Эээ́э это валмдный код на расте?
Нет
EG
Вот эта часть where это проблема
p
Так ну это не решается выводом типов, я тут бессилен
p
Но это решается нормальными макросами
p
Макросы в которых можно получить всю информацию о типе: размер, лейаут, имплементации, дженерики и т.дб
p
Нужно попросить чуваков из немерле придумать макросы для раста
D
Макросы в которых можно получить всю информацию о типе: размер, лейаут, имплементации, дженерики и т.дб
это уже звучит как решение
EG
Макросы в которых можно получить всю информацию о типе: размер, лейаут, имплементации, дженерики и т.дб
Это вряд ли в расте будет
p
Это вряд ли в расте будет
Почему
p
Ну работа огромная да
P
Макросы в которых можно получить всю информацию о типе: размер, лейаут, имплементации, дженерики и т.дб
Рефлексия скоро будет
p
С нынешним говнокодом они будут его миллион лет делаиь
EG
Рефлексия скоро будет
[citation needed]
p
Да, ты прав, гольдштейн
EG
Её даже в найтли нет
D
Нужно попросить чуваков из немерле придумать макросы для раста
на самом деле это все решается одним ифом но это в типах не скажешь да