<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div>Okay, that's an interesting proposal. I'm not qualified to judge how big of a win the compiler optimizations would be there; I'm a little skeptical, but I admit a lack of expertise there. It seems like it's not essential to the core 'async/await' proposal, though; it could be added later with no source breakage, and in the meantime we can accomplish most of the same behavior through an explicit Future type. I think it makes more sense to consider the base proposal before adding more complexity to it.</div><div id="AppleMailSignature"><br>-BJ</div><div><br>On Sep 3, 2017, at 10:15 PM, Jonathan Hull &lt;<a href="mailto:jhull@gbis.com">jhull@gbis.com</a>&gt; wrote:<br><br></div><blockquote type="cite"><div><meta http-equiv="Content-Type" content="text/html charset=utf-8"><br class=""><div><blockquote type="cite" class=""><div class="">On Sep 3, 2017, at 7:35 PM, BJ Homer &lt;<a href="mailto:bjhomer@gmail.com" class="">bjhomer@gmail.com</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="content-type" content="text/html; charset=utf-8" class=""><div dir="auto" class=""><div class="">Jonathan,</div><div class=""><br class=""></div><div class="">You've mentioned the desire to have 'async' defer calling 'await', but I haven't seen a detailed design yet. </div></div></div></blockquote><div>Oh, we discussed it awhile back on a few other threads. &nbsp;I am happy to help write up a more formal/detailed design if there is enough interest...</div><br class=""><blockquote type="cite" class=""><div class=""><div dir="auto" class=""><div class="">For example, is the following code valid?</div><div class=""><br class=""></div><div class=""></div><div class="">&nbsp; let image = async fetchImage()</div><div class=""><div class=""><span style="background-color: rgba(255, 255, 255, 0);" class="">&nbsp; let image2 = async fetchImage()</span></div><div class="">&nbsp; let deferredThings = [image1, image2]</div></div><div class=""><div class=""><br class=""></div><div class="">If so, what is the type of 'deferredThings'? And how does it not count as 'using' the values.</div></div></div></div></blockquote><div><br class=""></div>No this code is not valid. &nbsp;You would need to ‘await’ both image 1 &amp; 2 before they could be put in an array or transferred to another variable. You could combine the ‘await’s though (similar to try):</div><div><br class=""></div><div><div dir="auto" class=""><div class=""><span class="Apple-tab-span" style="white-space:pre">        </span>let image = async fetchImage()</div><div class=""><span style="background-color: rgba(255, 255, 255, 0);" class=""><span class="Apple-tab-span" style="white-space:pre">        </span>let image2 = async fetchImage()</span></div><div class=""><span class="Apple-tab-span" style="white-space:pre">        </span>let deferredThings = await [image1, image2]</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Note: You can return something which is deferred from an async function without awaiting though...</div></div><div><br class=""></div><br class=""><blockquote type="cite" class=""><div class=""><div dir="auto" class=""><div class=""><div class="">If the above code is not valid, how is this situation better than the suggested use of a Future type to allow concurrent async requests?</div><div class=""><br class=""></div><div class=""><div class=""><span style="background-color: rgba(255, 255, 255, 0);" class="">&nbsp; let future1 = Future { await fetchImage() }</span></div><div class=""><div class=""><span style="background-color: rgba(255, 255, 255, 0);" class="">&nbsp; let future2 = Future { await fetchImage() }</span></div><div class=""><span style="background-color: rgba(255, 255, 255, 0);" class="">&nbsp; let deferredThings = [future1, future2]</span></div><div class=""><span style="background-color: rgba(255, 255, 255, 0);" class=""><br class=""></span></div><div class=""><span style="background-color: rgba(255, 255, 255, 0);" class="">Note that in this example, 'deferredThings' has a concrete type, and we can inspect its values.</span></div></div></div></div></div></div></blockquote><div><br class=""></div><div>It isn’t meant to be used instead of Futures (though you may not need to reach for them as often), it is a much lower-level construct which would be used as a building block for things like futures (and other concurrency constructs).</div><div><br class=""></div><div>Because there is no way for the programmer to get at the thing being ‘await’ed (or any representation of it) without awaiting on it, and it can’t escape the context, it gives the compiler some extra guarantees that it can use to optimize things behind the scenes. Even if the compiler just ends up creating a future behind the scenes, that implementation is completely hidden to the programmer, and can be updated/changed at any time by the compiler team without involving evolution.</div><div><br class=""></div><div>Let’s say at some point down the road as part of the actor work, the compiler ends up getting some visibility into how actor queues will be coalesced… Then it can use that knowledge to reorganize the code above to be more efficient. &nbsp;For example, if it knows that the part of the calls to fetchImage() will be serialized by an actor, it can just make that part synchronous and avoid the asynchronous overhead. &nbsp;If we had baked in everything at the low-level to use future objects, we wouldn’t be able to make that optimization.</div><div><br class=""></div><div>There are 2 big results from this:</div><div><br class=""></div><div>1) It gives us the ability to easily start several things behind the scenes and then await the group of them finishing</div><div><br class=""></div><div>2) Our implementation of Futures (and other constructs) can potentially take advantage of the compiler optimizations by using this beneath the hood.</div><div><br class=""></div><div><br class=""></div><div>The first point is huge for me. This is an extremely common thing to want in real-world code, but it usually requires a bunch of complex (sometimes error-prone) machinery to actually pull off. There is often wasted overhead as well. &nbsp;I like that I can do it here in a very natural and lightweight way. &nbsp;(Futures also simplify this problem a great deal, but I wouldn’t really call them lightweight).&nbsp;</div><div><br class=""></div><br class=""><blockquote type="cite" class=""><div dir="auto" class=""><div class=""><div class=""><div class=""><div class="">You keep bringing up this suggestion, so I must be missing something, but it seems to me that your suggestion is covered by Futures. Why is calling with 'async' better?</div></div></div></div></div></blockquote><div><br class=""></div><div>As I said above, I think this will help our Futures be much more efficient when we build them, but there are also some advantages of having this as an option and not just using Futures for everything.</div><div><br class=""></div><div>Mainly, futures require a different return type, and they require boxing/unboxing. &nbsp;To chain futures, each link in the chain has to be future-aware… and each link can only be used with futures (i.e. the return type is Future&lt;MyType&gt;). &nbsp;There are a lot of cases where I am boxing just to unbox and re-box. &nbsp;Most of that is fine as long as the framework was built with it in mind, but it doesn’t work as well if I want to add the functionality post-hoc.</div><div><br class=""></div><div>With ‘async’ being used to defer ‘await’, it just works on any function which can be awaited. &nbsp;Further, it can be chained naturally through any number of async functions. &nbsp;I showed this in another thread, but if you think through what happens when you return something which still needs to be awaited, you see that that state is naturally passed along with it (the function was either called with ‘await’ or ‘async’, and thus the return value is either awaited on, or the result picks up the compiler marking from ‘async’ showing it still needs to be awaited). &nbsp;Because there is no (visible) boxing, you don’t have to worry about monads, etc…</div><div><br class=""></div><div>It basically nests in the same way that try/throws nests, and we already have to do that for async/await anyway… so it is a lot of win for very little additional complexity (at least on the usage side).</div><div><br class=""></div><div>Thanks,</div><div>Jon</div><div><br class=""></div><div><br class=""></div><br class=""><blockquote type="cite" class=""><div dir="auto" class=""><div class="">-BJ</div><div class=""><br class="">On Sep 3, 2017, at 6:01 PM, Jonathan Hull via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:<br class=""><br class=""></div><blockquote type="cite" class=""><div class=""><meta http-equiv="Content-Type" content="text/html charset=utf-8" class=""><br class=""><div class=""><blockquote type="cite" class=""><div class="">On Sep 3, 2017, at 9:04 AM, Chris Lattner via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><blockquote type="cite" class=""><div class="">On Sep 3, 2017, at 4:00 AM, David Hart &lt;<a href="mailto:david@hartbit.com" class="">david@hartbit.com</a>&gt; wrote:</div><div class=""><div class="Singleton" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div class=""><blockquote type="cite" class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;"><div class=""><div 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 style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class=""><br class=""></div><div style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px;" class="">But it would be nice for all high-level APIs that conform to a<span class="Apple-converted-space">&nbsp;</span><b class="">Awaitable</b><span class="Apple-converted-space">&nbsp;</span>protocol to be used with<span class="Apple-converted-space">&nbsp;</span><b class="">await</b><span class="Apple-converted-space">&nbsp;</span>without having to reach for a<span class="Apple-converted-space">&nbsp;</span><b class="">get</b><span class="Apple-converted-space">&nbsp;</span>property or something similar everytime.</div></div></div></div></blockquote><br class=""></div><div class="">The futures API that is outlined in the proposal is just an example, it isn’t a concrete pitch for a specific API. &nbsp;There are a bunch of improvements that can (and should) be made to it, it is just that a futures API should be the subject of a follow-on proposal to the basic async/await mechanics.</div></div></div></blockquote><br class=""></div><div class="">Would it be possible to have the manifesto be a series of proposals then? &nbsp;I really think it is important for us to look at how all of these things fit together. &nbsp;I agree that async/await should come first, but looking at how concrete things like Futures would work may help to inform the design of async/await. &nbsp;We should do the back-propigation in our design before anything is locked in...</div><div class=""><br class=""></div><div class="">The thing I would most like to see as a quick follow-on to async/await is the ability to use the ‘async’ keyword to defer ‘await’. This feels very natural, is highly optimizable by the compiler, and it allows for a lot of very common use-cases which are not covered well by pure async/await. &nbsp;I think it would have a large impact on the eventual design/implementation of futures (and at least some impact on the design of async/await).</div><br class=""><div class="">Thanks,</div><div class="">Jon</div></div></blockquote><blockquote type="cite" class=""><div class=""><span class="">_______________________________________________</span><br class=""><span class="">swift-evolution mailing list</span><br class=""><span class=""><a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a></span><br class=""><span class=""><a href="https://lists.swift.org/mailman/listinfo/swift-evolution" class="">https://lists.swift.org/mailman/listinfo/swift-evolution</a></span><br class=""></div></blockquote></div></blockquote></div><br class=""></div></blockquote></body></html>