About myself
Apr. 2nd, 2019 02:21 pmI have a home page (blog) at http://www.teigfam.net/oyvind/home/
Coroutines, async/await, "user-visible" asynchronicity
It's in vogue at the moment for new languages to have something like async/await. This does not mean it's a done deal: lots has been done, but lots is still messy. The boundary between synchronous-world and asynchronous world -- in terms of types, control flow, correctness, errors, modularity, composition -- is still very awkward. Whether and how to mitigate between different synchronicity regimes, especially across FFIs or differing runtimes, is hard. Integration with effects is hard. Integration with parallelism is hard. Which parts need to be supported by the language and which parts surface to the user is hard. Cognitive load is still very high. (From https://graydon2.dreamwidth.org/253769.html)