<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 2 Sep 2017, at 20:24, Chris Lattner via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">On Aug 31, 2017, at 3:04 PM, Nathan Gray via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:<br class=""><blockquote type="cite" class="">I've been following the conversations around Chris Lattner's intriguing async/await proposal and would like to offer my own take. I feel that the proposal as written is almost perfect. &nbsp;My suggestions for improving it are not highly original -- I think they have all come up already -- but I'd like to present them from my own perspective.<br class=""><br class="">1. Fixing "queue confusion" *must* be part of this proposal. &nbsp;The key bit of "magic" offered by async/await over continuation passing is that you're working in a single scope. &nbsp;A single scope should execute on a single queue unless the programmer explicitly requests otherwise. &nbsp;Queue hopping is a surprising problem in a single scope, and one that there's currently no adequate solution for.<br class=""></blockquote><br class="">As mentioned downthread, the “contextualizing” thread is one way to address this.<br class=""><br class=""><blockquote type="cite" class="">2. The proposal should include some basic coordination mechanism. &nbsp;The argument against returning a Future every time `await` is called is convincing, so my suggestion is to do it from `beginAsync`. The Future returned should only be specified by protocol. The protocol can start with minimal features -- perhaps just cancellation and progress. &nbsp;There should be a way for programmers to specify their own, more featureful, types. (The proposal mentions the idea of returning a Bool, which is perhaps the least-featureful Future type imaginable. :-)<br class=""></blockquote><br class="">Please don’t read too much into the beginAsync API. &nbsp;It is merely a strawman, and intended to be a low-level API that higher level abstractions (like a decent futures API) can be built on top of. &nbsp;I think it is important to have some sort of primitive low-level API that is independent of higher level abstractions like Futures.<br class=""><br class="">This is all a way of saying “yes, having something like you propose makes sense” but that it should be part of the Futures API, which is outside the scope of the async/await proposal.<br class=""></div></div></blockquote><div><br class=""></div><div>But it would be nice for all high-level APIs that conform to a <b class="">Awaitable</b> protocol to be used with <b class="">await</b> without having to reach for a <b class="">get</b> property or something similar everytime.</div><br class=""><blockquote type="cite" class=""><div class=""><div class="">-Chris<br class=""><br class="">_______________________________________________<br class="">swift-evolution mailing list<br class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a><br class="">https://lists.swift.org/mailman/listinfo/swift-evolution<br class=""></div></div></blockquote></div><br class=""></body></html>