Т8
Т-34 85
через визиторы?
ну, кстати, Царь одобряет
Size: a a a
2020 December 31
H
А в эргономике раста система типов как раз больше всего хромает
T1
За столько же даже аналогичную вещь не сделали в Rust в системе типов, какое-то ощутимое улучшение
асинк/эвейт сложно добавить было реально
p
Кстати я придумал как делать расширяемые перечисления в расте
H
асинк/эвейт сложно добавить было реально
Я не спорю, но это крайне спорное улучшение
T1
ещё раз, раст это не такой язык как хаскель или лямбда исчисление
T1
туда совсем не так просто добавить такие вещи
Т8
ещё раз, раст это не такой язык как хаскель или лямбда исчисление
это better c
H
Кстати я придумал как делать расширяемые перечисления в расте
Как Доге?
p
Кстати я придумал как делать расширяемые перечисления в расте
Но нужно или оно в расте
p
Как Доге?
Придумай пример где это будет нужно я чёт накалякаю
H
Я не спорю, но это крайне спорное улучшение
И это не совсем про систему типов
T1
Я не спорю, но это крайне спорное улучшение
прекрасное улучшение, даже очень, просто ещё не до конца допилено
H
Придумай пример где это будет нужно я чёт накалякаю
Нууу то же аст
T1
такие вещи в язык как раст добавлять очень очень сложно come on
Т8
прекрасное улучшение, даже очень, просто ещё не до конца допилено
так когда будет decltype в rust? Или rust - это не про обобщённое программирование?
Т8
и тогда Царь был прав
p
Т-34 85
так когда будет decltype в rust? Или rust - это не про обобщённое программирование?
Нахуй он нужен
H
прекрасное улучшение, даже очень, просто ещё не до конца допилено
Как насчёт невозможности абстрагировать эффекты? У нас теперь есть 2 сорта функций, которые между собой крайне плохо взаимодействуют. Посмотри на FutureExt в futures, там некоторые функции тупо копии асинхронных и синхронных версий
Т8
Переслано от Hirrolot
https://docs.rs/teloxide/0.3.3/teloxide/dispatching/dialogue/trait.SubtransitionOutputType.html
отдельный трейт просто для того, чтобы заставить компилятор вывести тип возвращаемого значения транзиции конечного автомата
к нам на вход приходит терм этого типа, а попросить сам тип нельзя, приходится для типа этого терма реализовывать трейт и сохранять в
отдельный трейт просто для того, чтобы заставить компилятор вывести тип возвращаемого значения транзиции конечного автомата
к нам на вход приходит терм этого типа, а попросить сам тип нельзя, приходится для типа этого терма реализовывать трейт и сохранять в
type Output его тип