EG
Я вызываю функцию с теми аргументами, которые для неё предназначались.
Size: a a a
2020 May 22
SP
азаза потому что тайпчекеры не умные не буду юзать их вообще
EG
И функция-обёртка возвращает то же самое, что и
Никакие типы не изменились, но консервативные тайпчекеры не могут этого понять.
func.Никакие типы не изменились, но консервативные тайпчекеры не могут этого понять.
DS
Или не написано. Покажи мне такую либу под Rust.
Ну декоратор лайк синтаксиса нет, поэтому это на макроаанотациях и делают.
EG
азаза потому что тайпчекеры не умные не буду юзать их вообще
Не буду писать макросы вместо нормального кода лишний раз, да.
Тайпчекер — это ты выбираешь больше церемоний, но меньше корректности.
Это часто правильный выбор, но не всегда.
Тайпчекер — это ты выбираешь больше церемоний, но меньше корректности.
Это часто правильный выбор, но не всегда.
DS
Не буду писать макросы вместо нормального кода лишний раз, да.
Тайпчекер — это ты выбираешь больше церемоний, но меньше корректности.
Это часто правильный выбор, но не всегда.
Тайпчекер — это ты выбираешь больше церемоний, но меньше корректности.
Это часто правильный выбор, но не всегда.
Опять-таки, макросы за тебя уже кем-то написаны такого плана: https://docs.rs/log-derive/0.4.0/log_derive/
EG
Опять-таки, макросы за тебя уже кем-то написаны такого плана: https://docs.rs/log-derive/0.4.0/log_derive/
Аттрибут-макросы на функциях в Rust ломают нормальное отображение ошибок напрочь.
SP
все было бы так круто как ты описываешь если бы динамика какой то сахар для option умела или корутин. а так те же авейт анврап
DS
Аттрибут-макросы на функциях в Rust ломают нормальное отображение ошибок напрочь.
Это проблемы расто плагинов
DS
Не самого раста
EG
Это проблемы того, что это макрос.
EG
Это не должно быть макросом.
EG
Это должно быть выразимо в языке.
DS
Это проблемы того, что это макрос.
Нет, в скале такие макросы норм работают.
EG
Серьёзную часть работы на статически типизированном языке занимает объяснение компилятору, что ты прав, а он нет. Всякое счастье от макросов до
PhantomData<T>, от mem::transmute до unsafe impl Send вылезает именно из-за этого.EG
И это проблема.
EG
Макросы, например, проблематично дебажить.
DS
Серьёзную часть работы на статически типизированном языке занимает объяснение компилятору, что ты прав, а он нет. Всякое счастье от макросов до
PhantomData<T>, от mem::transmute до unsafe impl Send вылезает именно из-за этого.PhantomData - это проблемы опять-таки раста.
EG
Макросы работают с IDE ещё хуже, чем динамика.
DS
Макросы работают с IDE ещё хуже, чем динамика.
Не обязательно. Макросы в немерле отлично работали, макросы в дотти работают, макросы в скале работали.