EG
Например, в позиции возврата из функции
Size: a a a
2020 December 30
Т8
Переслано от Roman na
здесь же не вывод, а просто хак, в который ты захардкодил руками типы. Это можно сделать для одной итерации
p
У тебя есть способ записать их в одном, 10 разных файлов выбрано тобой целенаправленно
Ну ок будет файл на 1300 строк, это не упростит задачи
p
Т-34 85
Царь уже дал рецензию н этот крейт
Какой трейт
CD
Мне кажется или это называется вывод типов?
fn<A, B> add(A a, B b) -> decltype(a + b)
это мономорфизм убивает на самом деле
p
fn<A, B> add(A a, B b) -> decltype(a + b)
это мономорфизм убивает на самом деле
Знать бы что ты написал
p
А ну и да
CD
Знать бы что ты написал
я написал, что функция возвращает тип результата сложения аргументов
EG
Не, decltype полезная штука, но она намертво ломает локальность
p
<A as Add<B>>::Output
EG
Хватает и impl Trait, которые ломают локальность
Т8
Т-34 85
Переслано от Hirrolot
https://docs.rs/teloxide/0.3.3/teloxide/dispatching/dialogue/trait.SubtransitionOutputType.html
отдельный трейт просто для того, чтобы заставить компилятор вывести тип возвращаемого значения транзиции конечного автомата
к нам на вход приходит терм этого типа, а попросить сам тип нельзя, приходится для типа этого терма реализовывать трейт и сохранять в
отдельный трейт просто для того, чтобы заставить компилятор вывести тип возвращаемого значения транзиции конечного автомата
к нам на вход приходит терм этого типа, а попросить сам тип нельзя, приходится для типа этого терма реализовывать трейт и сохранять в
type Output его тип@jit_rs @emmanuelGoldstein @p0lunin вот Хирро пытался эмулировать decltype в Rust. Вот заключение Царя
p
Хватает и impl Trait, которые ломают локальность
Импл трейт говнище
CD
<A as Add<B>>::Output
Output может быть не прописан для операции
EG
Импл трейт говнище
impl Trait это единственный способ работать с итераторами нормальный и замыканиями
ΑZ
придётся go metaprogramming устраивать для простейших задач, встроенные знаковые целочисленные налево, беззнаковые направо, остальные прямо
не придется
а
Импл трейт говнище
импл трейт не работает в трейтах кстати
ΑZ
Я кстати, считаю, что это не верный трейдофф. Я предпочту импорты указывать явно, чем иногда бегать с вереницей ньютайпов
ну у меня другое мнение 🤷♂️
а
реально фигня
p
impl Trait это единственный способ работать с итераторами нормальный и замыканиями
Глобальный вывод типов решил бы эти проблемы