Ct
if TypeId::of<S>() != TypeId::of<String>() && TypeId::of<S>() != TypeId::of<Box<str>>() ... && check(args) {
abort()
}Это специализация такая классная?
Size: a a a
2020 August 28
в🧇
Это специализация такая классная?
Ага. Классная и нерабочая
V
Хотя да, я натупил, трансмьютнуть тут не получится
в🧇
Было бы прикольно иметь интрсинк, который бы возвращал
Some(TypeId) для 'static типов и None для остальныхAV
Как получить бесконечный стрим из
Fn() -> impl Future?AV
Не могу найти в доке
AV
Нашёл,
futures::stream::unfoldDS
Если F: Clone, то можно расписать через монадическую связку. Только замечу, что собственно с самими растовскими фьючами не работал, но монада она и в Африке монада. Псевдокод: def repeat(f) { (f.clone())().and_then(move |()| { repeat(f) }) }
в🧇
Если F: Clone, то можно расписать через монадическую связку. Только замечу, что собственно с самими растовскими фьючами не работал, но монада она и в Африке монада. Псевдокод: def repeat(f) { (f.clone())().and_then(move |()| { repeat(f) }) }
Зачем
Clone, если Fn вызывается по shared-ссылке?DS
чтобы передать в замыкание, но, возможно, что в синтаксисе await это как-то можно без клонирования провернуть - без понятия про этот синтаксис еще)
Ct
Если F: Clone, то можно расписать через монадическую связку. Только замечу, что собственно с самими растовскими фьючами не работал, но монада она и в Африке монада. Псевдокод: def repeat(f) { (f.clone())().and_then(move |()| { repeat(f) }) }
боксить придется, иначе будет бесконечного размера стейтмашина
Э
чтобы передать в замыкание, но, возможно, что в синтаксисе await это как-то можно без клонирования провернуть - без понятия про этот синтаксис еще)
&T — Copy, то есть автоматически клонируется само по себе, потому что дешевле склонировать, чем передать по ссылке.
Э
Ну как бы, оно и очевидно, что & — просто указатель, и его надо копировать, а не делать &&T.
Э
Ну и раст не может в HKT, так что и монады в расте не всегда монады.
DS
На счет бесконечного размера не уверен, но надо смотреть, как именно устроена растовская фьюча. Скорее всего, стек будет во время раскручиваться, но я давно уже не заглядывал в исходники.
Э
Для Option и Result вместо одного монадского трейта делают кучу копипаста.
DS
Монадность не зависит от HKT. Это другое
Ct
На счет бесконечного размера не уверен, но надо смотреть, как именно устроена растовская фьюча. Скорее всего, стек будет во время раскручиваться, но я давно уже не заглядывал в исходники.
Растовые фьючи в стейтмашины компилируются и размер "стека" у них статически вычисляется
JC
Для Option и Result вместо одного монадского трейта делают кучу копипаста.
А в чем прикол монад для реюзабилити кода?
Э
А в чем прикол монад для реюзабилити кода?
Как и у трейтов, не?