220 31308 article Path: news.gmane.org!.POSTED!not-for-mail From: Oliver Kowalke Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: P0534: call/cc, type safety and exceptions Date: Thu, 2 Mar 2017 12:09:26 +0100 Lines: 86 Approved: news@gmane.org Message-ID: References: <3a57e294-7254-4358-828d-c9f7757f5295@isocpp.org> <4e6c13b2-4286-4df8-989b-97cbf3bf1cc7@isocpp.org> <312d04a6-8b20-4bf5-8357-507ba9938e84@isocpp.org> <762243ed-0c31-461d-b6fd-fdb8759857b2@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a114f1076976be90549bd77db X-Trace: blaine.gmane.org 1488452994 28130 195.159.176.226 (2 Mar 2017 11:09:54 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 2 Mar 2017 11:09:54 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCLZHP5J7MHRB7H237CQKGQEUHWKMQI@isocpp.org Thu Mar 02 12:09:46 2017 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-pf0-f199.google.com ([209.85.192.199]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cjOcB-0006Al-8p for gclcip-std-proposals@m.gmane.org; Thu, 02 Mar 2017 12:09:43 +0100 Original-Received: by mail-pf0-f199.google.com with SMTP id 6sf78973214pfd.6 for ; Thu, 02 Mar 2017 03:09:49 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=0k038b/BOkVaKBjUb5Y4bbGWu+ZUktVz08gBENl6TiA=; b=ydGprB98/KFHmSFHebevPiDP8TQYrE1vzun7MCiTR7+9CLYbA0QQ1YghTUp2crv1of Vir+1iZIThb4QIAZK11fC42J/09jD/05bzzZw+gtp/bpoC39LhJNwUOgSAj9cfn4ZDb7 iaKal1+FjJjP15CxFgRGfq0NkUPV4BjsbRgYL7U1VwDcs3R8ki3jfxzOMPR5Wi2CDkOg Y/s8ea+4Er6owAeUTsxhn6sUCP0RvISzV26VUzeuNnS2UxYNE1tN+gb0ibVFJyzoj6NC 4IHkZqBC0ozStpgAIxcRj5/6h7auOnVS4x3DSJ2Kz0rxMahdhbb+NYMhDRzaMJF+HUh5 /YlA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=0k038b/BOkVaKBjUb5Y4bbGWu+ZUktVz08gBENl6TiA=; b=eJacVmuwX3D89Ax+dXe86bNh+4tWCn00H2ZR1K2HM3WcCrjxvlwFHuDTKY7ejJWb4U uhfxPBJ/ebDLbdmYNd65ucdNLZ/NL0fkaeTqZlI74qIt/9fYK67RAyxpXbaepHhN7NPQ 4HcZqtuHTvF4LsHIch1xzrvfPSkQfh5fj9lmEJ1UeViyMTwABlwCkC2LA2+0WYuLwRBD lActODDu4IJeXifJmfAd9w3bsdQO4A85w3pN1D/d+BoI5fnVfOLYcHaV/U8I03zDkp4j jfMKCbBkr2d1D5CosMB2TsW9cm6ceZ+eBFIY1OwMlCKSS7KHhJ625FQD71LnjNt+fAYz cndA== X-Gm-Message-State: AMke39m8X6zjvPTWufvz9koTtNsbKfi2qNGv20RpI0mBEayBnlzwX7MqWps/ku+OS/VT9Q== X-Received: by 10.99.188.2 with SMTP id q2mr5026985pge.36.1488452989078; Thu, 02 Mar 2017 03:09:49 -0800 (PST) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.157.45.170 with SMTP id g39ls7220887otb.49.gmail; Thu, 02 Mar 2017 03:09:48 -0800 (PST) X-Received: by 10.37.122.5 with SMTP id v5mr4189560ybc.193.1488452988309; Thu, 02 Mar 2017 03:09:48 -0800 (PST) Original-Received: from mail-yw0-x229.google.com (mail-yw0-x229.google.com. [2607:f8b0:4002:c05::229]) by mx.google.com with ESMTPS id y130si802680yby.206.2017.03.02.03.09.48 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 02 Mar 2017 03:09:48 -0800 (PST) Received-SPF: pass (google.com: domain of oliver.kowalke@gmail.com designates 2607:f8b0:4002:c05::229 as permitted sender) client-ip=2607:f8b0:4002:c05::229; Original-Received: by mail-yw0-x229.google.com with SMTP id v200so53518582ywc.3 for ; Thu, 02 Mar 2017 03:09:48 -0800 (PST) X-Received: by 10.129.132.140 with SMTP id u134mr5225288ywf.264.1488452987609; Thu, 02 Mar 2017 03:09:47 -0800 (PST) Original-Received: by 10.129.173.21 with HTTP; Thu, 2 Mar 2017 03:09:26 -0800 (PST) In-Reply-To: X-Original-Sender: oliver.kowalke@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com; spf=pass (google.com: domain of oliver.kowalke@gmail.com designates 2607:f8b0:4002:c05::229 as permitted sender) smtp.mailfrom=oliver.kowalke@gmail.com; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: 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:31308 Archived-At: --001a114f1076976be90549bd77db Content-Type: text/plain; charset=UTF-8 2017-03-02 11:52 GMT+01:00 Giovanni Piero Deretta : > > [1] contrary to what P0534 claims, it describes delimited continuations; > I'm not even sure you can have undelimited continuations when you have > one-shot semantics. > undelimited continuations == no delimiter that tells you where the continuatio nends, e.g. if you call callcc() from main(), it is undelimited int main() { .... callcc(); // reifies continuation ... // all the code behind callcc() belong s to the reified continuation } delimited continuations == you doe definie in the code till which point the reified continuation goes (reset-op), int main() { ... reset { // delimites the continuation shift {...} / reifies the continuation } // continuation ends here ... // code here does not belong to the reified continuation } -- 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. To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CA%2Bwfc1-fGEOGVP6--YexgjWgkZy6h1-o3QmK0a6SLnSChfeq%2Bg%40mail.gmail.com. --001a114f1076976be90549bd77db Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
2017= -03-02 11:52 GMT+01:00 Giovanni Piero Deretta <gpderetta@gmail.com&g= t;:

[1] contrary to what P0534 claims, it describes delim= ited continuations; I'm not even sure you can have undelimited continua= tions when you have one-shot semantics.
<= br>
undelimited continuations =3D=3D no del= imiter that tells you where the continuatio nends, e.g. if you call callcc(= ) from main(), it is undelimited

i= nt main() {
=C2=A0=C2=A0 ....
=C2=A0= =C2=A0 callcc(); // reifies continuation
=C2=A0=C2=A0 ... // all the code behind callcc() belong s to the reified = continuation
}


delimited continuation= s =3D=3D you doe definie in the code till which point the reified continuat= ion goes (reset-op),

int main() {=C2=A0=C2=A0=C2=A0 ...
=C2=A0=C2=A0= =C2=A0=C2=A0 reset { // delimites the continuation
=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0=C2=A0 shift {...}=C2= =A0=C2=A0 / reifies the continuation
= =C2=A0=C2=A0=C2=A0=C2=A0 }=C2=A0 // continuation ends here
=C2=A0=C2=A0 ... // code here does not belong to the re= ified continuation
}

--
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.
To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CA%2Bwfc1-fGE= OGVP6--YexgjWgkZy6h1-o3QmK0a6SLnSChfeq%2Bg%40mail.gmail.com.
--001a114f1076976be90549bd77db-- .