AK
У тайп класса есть ассоциативные типы
Так и в дженерик интерфейсе тоже приделать можно
Size: a a a
2020 April 01
AK
В логике ресолва тайпклассов.
Чё там за логика?
Т8
Alexander Krivitskiy
🧐 тогда не знаю
вот разница https://t.me/rust_offtopic/214844
AZ
хз ребят, "всего лишь можно реализовывать для чужих типов" это нифига не "всего лишь"
AZ
это блин пипец разница
AZ
а так разница между генериками и темплейтами "всего лишь" что генерики проверяются до истанцирования, а темплейты - после
AK
хз ребят, "всего лишь можно реализовывать для чужих типов" это нифига не "всего лишь"
Ну тут большая разница да.
AK
а так разница между генериками и темплейтами "всего лишь" что генерики проверяются до истанцирования, а темплейты - после
Тут нет
AZ
Alexander Krivitskiy
Тут нет
разница гигантская
AZ
иногда один и тот же код будет по-разному работать в зависимости от того, темплейты это или генерики
AK
разница гигантская
более читабельная ошибка компиляции?
Т8
а так разница между генериками и темплейтами "всего лишь" что генерики проверяются до истанцирования, а темплейты - после
для hkt нужны темплейты?
AZ
Т-34 85
для hkt нужны темплейты?
хкт ортогональны
AZ
Alexander Krivitskiy
более читабельная ошибка компиляции?
1. более читбельная ошибка
2. ошибка вообще появляется когда ты ошибся, а не когда у либы миллион скачивание и оказалось что ты там опечатался
3. код по-разному работать может, тот же SFINAE на генериках енвозможен
2. ошибка вообще появляется когда ты ошибся, а не когда у либы миллион скачивание и оказалось что ты там опечатался
3. код по-разному работать может, тот же SFINAE на генериках енвозможен
DS
Alexander Krivitskiy
Чё там за логика?
Достаточно хитрая:
https://rustc-dev-guide.rust-lang.org/traits/index.html
Впоть до того, что это полная по тьюрингу логика, на которой можно организовывать вычисления:
https://sdleffler.github.io/RustTypeSystemTuringComplete/
https://rustc-dev-guide.rust-lang.org/traits/index.html
Впоть до того, что это полная по тьюрингу логика, на которой можно организовывать вычисления:
https://sdleffler.github.io/RustTypeSystemTuringComplete/
AK
иногда один и тот же код будет по-разному работать в зависимости от того, темплейты это или генерики
Разве что есть риск если два интерфейса содержат метод с одинаковым именем, то темплейты метод будет работать с обоими, когда ты рассчитывал на один из. Но решается элементарно. Баунды присобачить - раз плюнуть
AK
1. более читбельная ошибка
2. ошибка вообще появляется когда ты ошибся, а не когда у либы миллион скачивание и оказалось что ты там опечатался
3. код по-разному работать может, тот же SFINAE на генериках енвозможен
2. ошибка вообще появляется когда ты ошибся, а не когда у либы миллион скачивание и оказалось что ты там опечатался
3. код по-разному работать может, тот же SFINAE на генериках енвозможен
Ну опечатки да. Если шаблон не инстанциировать - пропустишь.
p
вот напиши на расте такое
ща, там какие-то траблы возникли с аннотациями типов
AZ
Alexander Krivitskiy
Ну опечатки да. Если шаблон не инстанциировать - пропустишь.
AZ
вот и вся история