220 21851 <9589b701-3237-4686-b11e-dc669e76f488@isocpp.org> article Path: news.gmane.org!not-for-mail From: Gor Nishanov Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: is await an extension of the do-notation? (was Re: Re: Resumable expressions p0114r0 vs async/await P0057R0) Date: Sat, 17 Oct 2015 10:22:12 -0700 (PDT) Lines: 100 Approved: news@gmane.org Message-ID: <9589b701-3237-4686-b11e-dc669e76f488@isocpp.org> References: <639f0012-8cb4-4db3-82a6-8d042a3497f9@isocpp.org> <1d15dbc4-e0c1-4df1-86db-014e11f14d26@isocpp.org> <56114953.4030701@wanadoo.fr> <561B403D.4030403@gmail.com> <561C07D1.3080304@gmail.com> <561C213F.1060009@gmail.com> <561C3875.2050701@gmail.com> <86924069-44d0-447f-bf8a-a42e46579832@isocpp.org> <561D79A7.8080007@gmail.com> <894616d6-9609-4038-b2bc-d2c62df21e0f@isocpp.org> <99bdb3ae-9214-4440-8572-4c47a61eda46@isocpp.org> <58628096-14ae-42b2-89d3-c0bd2183bbc0@isocpp.org> <561DC957.8080603@gmail.com> <510ce172-976a-4e3a-ae68-31fdb40af4d7@isocpp.org> <9dd3f28c-4ffb-4e08-9955-242c46e14527@isocpp.org> <31d5f64f-8db9-4ba3-aca7-872114b9776d@isocpp.org> <561DE488.3040103@gmail.com> <5587a3fd-499c-42b3-bf05-fd5cdc2d9118@isocpp.org> <561EF19E.6010405@gmail.com> <7560dfa8-c77f-41ec-9c0d-c88fe65e20b5@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_870_1802574734.1445102532975" X-Trace: ger.gmane.org 1445102536 24096 80.91.229.3 (17 Oct 2015 17:22:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sat, 17 Oct 2015 17:22:16 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBC47RF4IW4GRBRMHRKYQKGQE7TDRFNA@isocpp.org Sat Oct 17 19:22:15 2015 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-qk0-f198.google.com ([209.85.220.198]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZnVBP-0001ck-A8 for gclcip-std-proposals@m.gmane.org; Sat, 17 Oct 2015 19:22:15 +0200 Original-Received: by qkey1 with SMTP id y1sf126183814qke.0 for ; Sat, 17 Oct 2015 10:22:14 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :content-type:x-original-sender:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=xNoYDN/BK8Oil5qN+Yl/QLSLMogVuOTrqQhCX5dnMEM=; b=GO/w+arVrHZ4WDmf0k+c41+URFmBdDUFc7AnE6cs/7x1bqt2o/8MKmrEzddXfzTDm9 bqyxmXtSmUs45q7pBWKnOdG9Aca5K/mVtMEyM9uw+mulg3Jw9j51wYAP4MJWv57GaE7m 8TYvTUmQ35KGHXYIQqSH56wUVU1igGnY4DsttykB9tceDgr5VjatWxt4ieTlskmqnq1D 57pI9VYM+rArJ107JUMdn62rjDNObk5vVPtt+b1jZPYbVthU0BwICArH+UmB4fQSCeWm 11vzzCNDmjtn2BuG2H9JoLODN1bJ3fTs4kc7CPEV1kY4nVoTT8kmMVwAmHvLjSPD214y k6rQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:message-id:in-reply-to:references :subject:mime-version:content-type:x-original-sender:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=xNoYDN/BK8Oil5qN+Yl/QLSLMogVuOTrqQhCX5dnMEM=; b=kNGSurT7sKbN8OBZNTuuwqIEIGutmo/Vt/eqQTRaOIS9BjzsRZObcRTl8SRQdv0pAS rK+weXVv80uLKWXVfEZPhzkSBG6ubP+9ha7gmMrLm1RDUuluP/8dzvtVZUXGlYGLcp7g q707zijgrCF6S3MvaBZvMVT8SxxBnAU4hHFLb5Qb9P5Ia28CHCphe1fmvPwoPUPk/vVS W4aJOtCj5QQRs6NoRE1Wi2riaDE3U+oi+aQDZ33WMT3Y9gEMhDgSH9yqin3Fv3NFlnhp x222Ux3fQdU0+gYXsJG1E/kp9sahZ1Ps/4Ogx95scHVLWYYLhNHl2e/xqcsgKHpq4JvY J/zA== X-Gm-Message-State: ALoCoQnYH/hZcycvKCV2RtaJnBLX6i0WezaCu+792ZOmmIgNnNq/+zud38OYvHIdLZw7p4nTk5mB X-Received: by 10.13.204.132 with SMTP id o126mr17525464ywd.50.1445102534630; Sat, 17 Oct 2015 10:22:14 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.107.13.6 with SMTP id 6ls955502ion.83.gmail; Sat, 17 Oct 2015 10:22:13 -0700 (PDT) X-Received: by 10.50.103.69 with SMTP id fu5mr37744igb.5.1445102533868; Sat, 17 Oct 2015 10:22:13 -0700 (PDT) In-Reply-To: X-Original-Sender: GorNishanov@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:21851 Archived-At: ------=_Part_870_1802574734.1445102532975 Content-Type: multipart/alternative; boundary="----=_Part_871_750162294.1445102532975" ------=_Part_871_750162294.1445102532975 Content-Type: text/plain; charset=UTF-8 Two quick points: On Saturday, October 17, 2015 at 10:07:12 AM UTC-7, Nicol Bolas wrote: There is apparently an implementation of P0114. And there is an > implementation of await. Use them to provide us with evidence of your > claims. > Unless something changed today. There is no a proof of concept implementation of P0114, the only thing that I was able to find was a library emulation using stackful coroutines that do not address some questions raised about P0114 proposal with respect to how embedding of a coroutine state machine class would actually work in the language. I will be content with just snippets that show for some problem the code for definition, declaration and the use of the coroutines where there is a concern that P0057 is less efficient than P0114. So far, I've been making the claim for more than a year that P0057 (and predecessors) are as or more efficient than P0114 (and its predecessors). Nobody come with an example, yet. would bother with). Its advantages are the ability to "await" within nested > layers and to magically transform non-resumable functions into resumable > functions without changing their direct implementations. > I described a kludge how P0057 can support it in P0054 paper. Since I too find that particular example appealing. Cheers, Gor -- --- You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/. ------=_Part_871_750162294.1445102532975 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Two quick points:

On Saturday, October 17, 2015 = at 10:07:12 AM UTC-7, Nicol Bolas wrote:


There is apparently an implementation of P011= 4. And there is an implementation of await. Use them to provide us with evi= dence of your claims.

Unless some= thing changed today. There is no a proof of concept implementation of P0114= , the only thing that I was able to find=C2=A0was a library emulation using= stackful coroutines that do not address some questions raised about P0114 = proposal with respect to how embedding of a=C2=A0coroutine state machine cl= ass would actually work in the language.

I will be= content with just snippets that show for some problem=C2=A0the code for de= finition, declaration and the use of the coroutines where there is a concer= n that P0057 is less efficient than P0114. So far, I've been making the= claim for more than a year that P0057 (and predecessors)=C2=A0are as or mo= re efficient than P0114 (and its predecessors).=C2=A0Nobody come with an ex= ample, yet.

would bother with). Its advantages are the ability to "await" = within nested layers and to magically transform non-resumable functions int= o resumable functions without changing their direct implementations.

I described a=C2=A0kludge how P0057=C2= =A0can support it in P0054 paper. Since I too find that particular example = appealing.

Cheers,
Gor

--

---
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/<= /a>.
------=_Part_871_750162294.1445102532975-- ------=_Part_870_1802574734.1445102532975-- .