D
Так и есть, когда будет AsyncDrop, например, там вроде вообще вся статья про "вот было бы круто"
tokio::spawn(future())
превратится, надо понимать, в странное чудовище вроде
tokio::spawn(async { future() })Size: a a a
2021 June 26
gо
Идея implicit await мне не нравится
превратится, надо понимать, в странное чудовище вроде
превратится, надо понимать, в странное чудовище вроде
gо
Короче, это какое-то описание интерфейса без описания реализации. Например, я нигде не вижу, как он предлагает реализовать AsyncDrop. Что происходит, если дропнуть футуру в синхронном контексте?
gо
Собственно, в этом была моя проблема с форматом этого ивента с самого начала — формат лайфстори мотивирует тебя писать красиво-выглядящий код, не задумываясь о его семантике.
gо
Он, кстати, не упомянул, что если мы всё равно вводим понятие «текущего экзекьютора» (в любом случае нужное для AsyncDrop), то мы можем сделать select встроенной конструкцией, а не макросом.
gо
#[abort_safe] тоже какой-то чудовищный костыль, который непонятно как реализовыватьgо
Короче, от этого автора я бы ожидал какой-то более внятной идеи.
gо
С другой стороны, возможно именно из-за того, кто он, у него довольно токиоцентричный подход, лол. Вся статья обходит стороной сам вопрос разделения ответственности экзекьютора и языка, который довольно болезненный сейчас, и становится гораздо более болезненным, если принять его пропозалы.
TK
Что не так с parse_line? Между двумя авейтами из сокета могут из другого места прочитать данные? Так это же проблема того, кто так написал, пусть даже и выглядит, будто якобы нарушен принцип наименьшего удивления.
TK
Хотя скорее дело может быть в прерывании read_exact. Ну да, не очень-то логично.
MS
Скорее в tokio::spawn(future), нет?
gо
Нет, потому что там окажется неявный await
MS
Избавление от
.await это аргумент консистентности с асинкдропом, который уже имплицитно самоавейтится.gо
"Как всё-таки сделать асинкдроп" там тоже не написано
MS
Не, я так понимаю не смотря на то что он говорит implicit async, авейтить он предлагает таки на джойнах и дропах
MS
Он там в комментах на реддите об этом говорит
gо
Он предлагает вообще убрать кейворд, как я понял
MS
Чтоб работа с фьючерами была похожа на работу с тредами
MS
Конечно, как мисъюзера фьючеров меня это смущает, я хочу генераторы а не треды. Но в контексте того для чего фьючеры так быстро рашились в расте его слова имеют смысл