Size: a a a

2020 August 25

/

/bin/cat in rust_offtopic
fallback по структуре и трейту
источник

EG

Emmanuel Goldstein in rust_offtopic
Да, я уже понял, кажется
источник

EG

Emmanuel Goldstein in rust_offtopic
Хотя будет немного больно из-за того, что нет гигиены для имён трейтов, кажется
источник

SP

Stanislav Popov in rust_offtopic
ну я говорил - хочется типчики как в тс. просто пишешь код который бы работал на типчиках. функции для типчиков, возврат чего то для типчиков - вот это было бы тру
источник

/

/bin/cat in rust_offtopic
Типо рефлекса
источник

SP

Stanislav Popov in rust_offtopic
кресты это кажется могут
источник

/

/bin/cat in rust_offtopic
Только compile time
источник

H

Hirrolot in rust_offtopic
Stanislav Popov
ну я говорил - хочется типчики как в тс. просто пишешь код который бы работал на типчиках. функции для типчиков, возврат чего то для типчиков - вот это было бы тру
В Idris можно
источник

H

Hirrolot in rust_offtopic
Просто функция на типчиках
источник

SP

Stanislav Popov in rust_offtopic
и я как то удивлен что растовчанам это вообще не нужно
источник

SP

Stanislav Popov in rust_offtopic
ну идрис это совершенство это понятно
источник

H

Hirrolot in rust_offtopic
Stanislav Popov
и я как то удивлен что растовчанам это вообще не нужно
Нужно, просто они это делают на ассоциированных типах
https://sdleffler.github.io/RustTypeSystemTuringComplete/
источник

/

/bin/cat in rust_offtopic
Emmanuel Goldstein
Хотя будет немного больно из-за того, что нет гигиены для имён трейтов, кажется
https://crates.io/crates/has_impl
Да вроде нет
источник

/

/bin/cat in rust_offtopic
Можно в compile time выбрать нужный блок кода
источник

EG

Emmanuel Goldstein in rust_offtopic
Он создаёт структуру в глобальном скоупе, не?
источник

EG

Emmanuel Goldstein in rust_offtopic
И трейт
источник

/

/bin/cat in rust_offtopic
Там еще один скоуп
источник

/

/bin/cat in rust_offtopic
Внутри самого макроса
источник

EG

Emmanuel Goldstein in rust_offtopic
Вижу
Трейты разве бывают с локальным скоупом? Мне казалось, место объявление трейта не имеет значение
источник

EG

Emmanuel Goldstein in rust_offtopic
Или это только для имплементации так?
источник