gо
Общий сахар для CPS решил бы эту проблему раз и навсегда
block_on? У меня в крейте нет экзекьютора.Size: a a a
2021 June 26
gо
Кто
MB
while fut.poll().is_pending() {}
gо
А это токио не понравится
MS
Токио вообще мало что нравится.
MB
А, понял. Синхронный контекст внутри асинхронного.
MS
Если оно за пределами в токио.
gо
cps_func(|(obj1, obj2)| {
// code
})трансформируется в
let (obj1, obj2) = cps_func().continue;
// code
gо
Решает скоупы, решает асинкдроп, позволяет активно использовать трюк с инвариантными лайфтаймами
MB
проясни, пожалуйста
MS
Я о волшебных токиевских фьючерах не работающих на не-токиевских экзекуторах. И наоборот.
MB
Ну, это справедливо для любых футур, ждущих какого-то внешнего стейта. В частности любых IO или таймеров из любой библиотеки.
gо
Соответственно, если ты хочешь объект с асинкдропом, ты просто ему вместо обычного конструктора делаешь cps-конструктор, который потом за ним всё подчищает.
MB
Но с другой стороны, ты можешь одновременно врубить стейт от разных библиотек (например одновременно зайти в несколько токио рантаймов), поэтому не так уж все и плохо
MS
Без гарантий того что запхнутая не в тот экзекутор фьюча не поломает всё неопределённым образом это не звучит как что-то хорошее.
MB
Ну, будет просто паника
gо
И это простейший кусок синтаксического сахара, тривиальный, легко объясняемый, не требующий гатов и прочих извращений в системе типов.
MS
.continue в таком случае будет создавать скоуп для всего что ниже?
MS
В котором будет эта континуация?
gо
Да,
.continue делает замыкание из всего, что ниже, и передаёт его последним аргументом в функцию.