А что не так с асинк авейт?

Question

Compiler Development

kikimych O_O

А что не так с асинк авейт?

#compilerdev #it #programming #russian

0

26.04.2022

8 ответов

26 просмотров

kikimych O_O Автор вопроса

Alexander Chichigin
Есть проблемы с абстрагированием относительно него...

можно подробнее, прочитал вот эту статью: https://vorpus.org/blog/notes-on-structured-concurrency-or-go-statement-considered-harmful/ очень сильно притянуто за уши

0

27.04.2022

Alexander Chichigin

kikimych O_O
можно подробнее, прочитал вот эту статью: https://...

Простите, с чем конкретно Вы спорите? Мой тезис про проблемы с абстрагированием означает, что невозможно написать функцию типа map (mapM), которая может собирать результаты как с обычных функций, так и с асинхронных. Вон в Rust по такому случаю отдельная библиотека "итераторов" конкретно для футур. А что по-вашему в статье притянуто за уши и к чему именно притянуто?

0

27.04.2022

kikimych O_O Автор вопроса

Alexander Chichigin
Простите, с чем конкретно Вы спорите? Мой тезис п...

а зачем смешивать обычные и асинхронные функции в одном обработчике, у них же разная семантика

0

27.04.2022

kikimych O_O Автор вопроса

Можете пожалуйста привести пример кода. Непонятно.

0

27.04.2022

Alexander Chichigin

kikimych O_O
Можете пожалуйста привести пример кода. Непонятно.

Знаете функцию flatMap : (a -> List b) -> List a -> List b? Теперь у нас есть функция getSomthingFromTheInternet : SomeID -> Future SomeOutput и список этих самых SomeID — l : List SomeID — для которых мы должны скачать из Интернета соответствующие документы (SomeOutput). Что мы делаем? Пишем функцию flatFuture : (a -> Future b) -> List a -> Future (List b) и засовываем в неё наши данные и функцию: flatFuture getSomthingFromTheInternet l. Вот, мы продублировали flatMap для комбинации списков и футур-асинков. Ещё нам нужны комбинации списки+Result и Future+Result как минимум. Если начинаются фьючи, которые возвращают резалт или резалты, в которых хранятся фьючи (или ошибки), и всё это упаковывается в списки — количество функций растёт в геометрической прогрессии. В то время как traverse :: (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b).

0

27.04.2022

kikimych O_O Автор вопроса

примерно понятно, но теперь не очень понятно зачем нам фьюча на лист

0

27.04.2022

Alexander Chichigin

kikimych O_O
примерно понятно, но теперь не очень понятно зачем...

Если у нас был список запросов к серверам, то мы получим отложенный список ответов. Он откладывается до тех пор, пока все ответы не придут. Это комбинатор Future.all (Promise.all).

0

27.04.2022

Alexander Chichigin · Accepted Answer

Alexander Chichigin

Есть проблемы с абстрагированием относительно него (если это не монада).

0

26.04.2022

185 похожих чатов

А что не так с асинк авейт?

8 ответов

Похожие вопросы