H
хз как это связано
Size: a a a
2020 December 30
p
хз как это связано
Ну смотри допустим у нас ошибка что какое-то значение в глисте не реализует трейт
p
Тогда на выходе будет ошибка что весь глист не реализует трейт
p
А в случае с кортежами будет ошибка "такое то значение не реализует трейт"
SP
А в случае с кортежами будет ошибка "такое то значение не реализует трейт"
красиво
DS
@hirrolot @p0lunin @Psilon
Вот, кстати, вчера вечером переделал вариант с TF и футурами без боксов так, чтобы сохранялось переиспользование системы типов хоста:
https://play.rust-lang.org/?version=nightly&mode=release&edition=2018&gist=230913d53e84c555b5a1c2a0455362ae
Но от дикой сигнатуры метод interpret в текущем расте похоже не избавиться.
Вот, кстати, вчера вечером переделал вариант с TF и футурами без боксов так, чтобы сохранялось переиспользование системы типов хоста:
https://play.rust-lang.org/?version=nightly&mode=release&edition=2018&gist=230913d53e84c555b5a1c2a0455362ae
Но от дикой сигнатуры метод interpret в текущем расте похоже не избавиться.
DS
Можно было бы избавится, если бы были какие-нибудь associated trait
DS
Сигнатуру можно чуть облегчить в плане условий, если добавить параметров в F<...>, чтобы в случае футур получившиеся футура могла зависеть от входных других футур, но это тоже экстремальный кейс какой-то.
r
Но от расписывания типа возвращаемого значения без автовывода не избавиться.
DS
red75prime
Но от расписывания типа возвращаемого значения без автовывода не избавиться.
Можно было бы избавится с associated trait
DS
Если бы они были
r
? Тип же от тела функции зависит. А. Там ограничения дублируют то, что написано в теле
p
@hirrolot @p0lunin @Psilon
Вот, кстати, вчера вечером переделал вариант с TF и футурами без боксов так, чтобы сохранялось переиспользование системы типов хоста:
https://play.rust-lang.org/?version=nightly&mode=release&edition=2018&gist=230913d53e84c555b5a1c2a0455362ae
Но от дикой сигнатуры метод interpret в текущем расте похоже не избавиться.
Вот, кстати, вчера вечером переделал вариант с TF и футурами без боксов так, чтобы сохранялось переиспользование системы типов хоста:
https://play.rust-lang.org/?version=nightly&mode=release&edition=2018&gist=230913d53e84c555b5a1c2a0455362ae
Но от дикой сигнатуры метод interpret в текущем расте похоже не избавиться.
Да, автовывод возвращаемого значения очень хочется
p
fn foo() -> _
DS
Да, автовывод возвращаемого значения очень хочется
Самое главное, что он знает этот тип
DS
Я бы тут хотел да, глобальный вывод вместе с выводом констрейнтов.
DS
Тогда бы этот пример был бы вполне себе норм
DS
Он сам бы вывел, что ему нужно и вписал бы в сигнатуру
p
Хм, ну автовывод констрейнтов хз насколько хорошая вещь
p
Тогда мы слишком теряем в "явности"