Т8
Переслано от Hirrolot
я так было бы просто
fn some_function(...) -> typeof(expr)Size: a a a
2020 December 31
H
+ например если у меня есть синхронная функция, мне придётся оборачивать ее в асинхронный блок. Хоть я этого делать не должен (чтобы использовать ее с функциями высшего порядка в futures)
p
Т-34 85
Переслано от Hirrolot
https://docs.rs/teloxide/0.3.3/teloxide/dispatching/dialogue/trait.SubtransitionOutputType.html
отдельный трейт просто для того, чтобы заставить компилятор вывести тип возвращаемого значения транзиции конечного автомата
к нам на вход приходит терм этого типа, а попросить сам тип нельзя, приходится для типа этого терма реализовывать трейт и сохранять в
отдельный трейт просто для того, чтобы заставить компилятор вывести тип возвращаемого значения транзиции конечного автомата
к нам на вход приходит терм этого типа, а попросить сам тип нельзя, приходится для типа этого терма реализовывать трейт и сохранять в
type Output его типНу и отлично
Т8
Т-34 85
Переслано от Hirrolot
https://docs.rs/teloxide/0.3.3/teloxide/dispatching/dialogue/trait.SubtransitionOutputType.html
отдельный трейт просто для того, чтобы заставить компилятор вывести тип возвращаемого значения транзиции конечного автомата
к нам на вход приходит терм этого типа, а попросить сам тип нельзя, приходится для типа этого терма реализовывать трейт и сохранять в
отдельный трейт просто для того, чтобы заставить компилятор вывести тип возвращаемого значения транзиции конечного автомата
к нам на вход приходит терм этого типа, а попросить сам тип нельзя, приходится для типа этого терма реализовывать трейт и сохранять в
type Output его типи то, как заметил Царь, это хак, который очень ограниченно работает
p
Это тоже самое что и вывод возвращаемого значения функции
p
И вывод был бы лучше
Т8
Это тоже самое что и вывод возвращаемого значения функции
ну, так этого и нет в Rust. А в C++ просто
decltypep
Т-34 85
ну, так этого и нет в Rust. А в C++ просто
decltypeА если там функция на 30 строк ты будешь все переписывать в деклтайп?
T1
За столько же даже аналогичную вещь не сделали в Rust в системе типов, какое-то ощутимое улучшение
нормальная версия раста существует только 5 лет, и за это время язык полностью изменился, за какие года ты говоришь?
H
Т-34 85
и то, как заметил Царь, это хак, который очень ограниченно работает
Верно
p
Ну и да, проблема Хиро решается адекватными макросами а не деклтайпами
T1
Т-34 85
так когда будет decltype в rust? Или rust - это не про обобщённое программирование?
decltype это не про обобщенное программирование и я сам жду если честно :)
p
нормальная версия раста существует только 5 лет, и за это время язык полностью изменился, за какие года ты говоришь?
За последние 2 года
p
Чё поменялось
H
нормальная версия раста существует только 5 лет, и за это время язык полностью изменился, за какие года ты говоришь?
Назови улучшение в системе типов раста за 3 года последние
T1
Как насчёт невозможности абстрагировать эффекты? У нас теперь есть 2 сорта функций, которые между собой крайне плохо взаимодействуют. Посмотри на FutureExt в futures, там некоторые функции тупо копии асинхронных и синхронных версий
у тебя нет эффектов в расте вообще, а то что это не работает на хаках которые придумали — не проблема раста
Т8
decltype это не про обобщенное программирование и я сам жду если честно :)
это, конечно, не про обобщённое программирование, но там оно нужно
Т8
А если там функция на 30 строк ты будешь все переписывать в деклтайп?
?
H
у тебя нет эффектов в расте вообще, а то что это не работает на хаках которые придумали — не проблема раста
Отсутствие системы эффектов раста — это уже проблема, потому что побуждает дублирование кода
T1
возможно ты хочешь сказать что было бы неплохо если бы они формализовали понятие эффектов, это я соглашусь