220 16042 <CAOHCbitnEm-yZdxQra3T-Sxur2saNOfemXP2vsJrUYfNkh19uQ@mail.gmail.com> article
Path: news.gmane.org!not-for-mail
From: Tony V E <tvaneerd@gmail.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Re: RFC: Adding Coherency Between any and optional<T>
Date: Wed, 4 Feb 2015 12:17:46 -0500
Lines: 83
Approved: news@gmane.org
Message-ID: <CAOHCbitnEm-yZdxQra3T-Sxur2saNOfemXP2vsJrUYfNkh19uQ@mail.gmail.com>
References: <54C36998.3070600@wanadoo.fr>
	<54C7E3EE.8040505@gmail.com>
	<CAGg_6+OW6PTw0-c4ONgqZ1TRf107nSpznDX0KmuKpC2MwVUKbg@mail.gmail.com>
	<1472973.FUI34FhZ9i@tjmaciei-mobl4>
	<CAOHCbivtHZW+OM4sofSVOgEZjugExAsS++7PuA=-n2j4gXzPNg@mail.gmail.com>
	<madr8o$8ag$1@ger.gmane.org>
	<CAOHCbivOjm1sdO+h8FN_o92YuNWoq5PYTZFETU60h0z77WEstQ@mail.gmail.com>
	<d5b302ef-f63d-4a18-bd2a-aaa47498d8e1@isocpp.org>
	<CAOHCbivKFpzW7dEA7DXaORwvPJC=bjMjU7eOxZEc_pcpThgdag@mail.gmail.com>
	<ef149f33-8576-43a3-bce1-72a4db1fe669@isocpp.org>
	<CAOHCbisGMdXgeukSN9k1-sGUm52b5yOYUrichfTm_QyHgNQukg@mail.gmail.com>
	<54D1386B.5040307@users.sourceforge.net>
	<54D15340.7000207@mail1.stofanet.dk>
	<matjdc$o07$1@ger.gmane.org>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary=001a11c26986bb34c3050e465dc2
X-Trace: ger.gmane.org 1423070274 7378 80.91.229.3 (4 Feb 2015 17:17:54 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 4 Feb 2015 17:17:54 +0000 (UTC)
To: =?UTF-8?Q?Andrzej_Krzemie=C5=84ski?= <std-proposals@isocpp.org>
Original-X-From: std-proposals+bncBCUZ5QWKNQILXKGJUYCRUBHZJ7KTQ@isocpp.org Wed Feb 04 18:17:49 2015
Return-path: <std-proposals+bncBCUZ5QWKNQILXKGJUYCRUBHZJ7KTQ@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-la0-f70.google.com ([209.85.215.70])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-proposals+bncBCUZ5QWKNQILXKGJUYCRUBHZJ7KTQ@isocpp.org>)
	id 1YJ3aG-0006w5-OK
	for gclcip-std-proposals@m.gmane.org; Wed, 04 Feb 2015 18:17:48 +0100
Original-Received: by mail-la0-f70.google.com with SMTP id gd6sf1140292lab.1
        for <gclcip-std-proposals@m.gmane.org>; Wed, 04 Feb 2015 09:17:48 -0800 (PST)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:in-reply-to:references:date
         :message-id:subject:from:to:content-type:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:list-post:list-help:list-archive:list-subscribe
         :list-unsubscribe;
        bh=4B4SHh7HLnVFVS9O3b6TfZL9KzAdspDHz0VYgW6/vOI=;
        b=Qqs8Ymrrt1mReF3RQTlbGblEWKAv0nLvI3HRJ7GeyRjoxsvSN7C2xZ9jM6KbmeSD1s
         Ioj1xz1fescNZqyeEfJyA8KEsZMxdvAXZgmC4bjPnYZtS9Abo7N5XyCjIIccESikOrny
         lALTRnaoYd0VvCakV/1WMjCAtI8qzWsGmr6o6UDMUo2MOQ/LdGb0+oirgrYIo/85cuzs
         YEdvRfIoeSeHxzXJ8dUVtgUOW4PNUmHdH0mW6vGxTxZWyh128YzzIKMyIMLSTGQVZEnn
         9cFn1a47ek/WKYPyHTpSr/TW5XSPonajJvOPBYioI91pgZitTO4HGsYTRHf0bzbr+xb3
         9fOg==
X-Gm-Message-State: ALoCoQmNkTqTiwNu12Rf8/Ra+/Nc4yXqrVdtAv0gRNwEQbNofPOwyI8GtC5QJmBE+KpxcZuxkoxU
X-Received: by 10.152.43.166 with SMTP id x6mr4024407lal.3.1423070268256;
        Wed, 04 Feb 2015 09:17:48 -0800 (PST)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.152.37.137 with SMTP id y9ls71886laj.59.gmail; Wed, 04 Feb
 2015 09:17:46 -0800 (PST)
X-Received: by 10.112.140.196 with SMTP id ri4mr31591481lbb.55.1423070266727;
        Wed, 04 Feb 2015 09:17:46 -0800 (PST)
Original-Received: from mail-la0-x231.google.com (mail-la0-x231.google.com. [2a00:1450:4010:c03::231])
        by mx.google.com with ESMTPS id k5si1913951lak.12.2015.02.04.09.17.46
        for <std-proposals@isocpp.org>
        (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Wed, 04 Feb 2015 09:17:46 -0800 (PST)
Received-SPF: pass (google.com: domain of tvaneerd@gmail.com designates 2a00:1450:4010:c03::231 as permitted sender) client-ip=2a00:1450:4010:c03::231;
Original-Received: by mail-la0-f49.google.com with SMTP id gf13so2798545lab.8
        for <std-proposals@isocpp.org>; Wed, 04 Feb 2015 09:17:46 -0800 (PST)
X-Received: by 10.112.172.167 with SMTP id bd7mr32225413lbc.14.1423070266601;
 Wed, 04 Feb 2015 09:17:46 -0800 (PST)
Original-Received: by 10.112.89.41 with HTTP; Wed, 4 Feb 2015 09:17:46 -0800 (PST)
In-Reply-To: <matjdc$o07$1@ger.gmane.org>
X-Original-Sender: tvaneerd@gmail.com
X-Original-Authentication-Results: mx.google.com;       spf=pass (google.com:
 domain of tvaneerd@gmail.com designates 2a00:1450:4010:c03::231 as permitted
 sender) smtp.mail=tvaneerd@gmail.com;       dkim=pass header.i=@gmail.com;
       dmarc=pass (p=NONE dis=NONE) header.from=gmail.com
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Google-Group-Id: 399137483710
List-Post: <http://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <http://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <http://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <http://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:std-proposals+subscribe@isocpp.org>
List-Unsubscribe: <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>,
 <http://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:16042
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/16042>

--001a11c26986bb34c3050e465dc2
Content-Type: text/plain; charset=UTF-8

On Wed, Feb 4, 2015 at 12:03 PM, Matthew Woehlke <
mw_triad@users.sourceforge.net> wrote:

> On 2015-02-03 18:01, Bjorn Reese wrote:
> > On 02/03/2015 10:06 PM, Matthew Woehlke wrote:
> >> On 2015-02-03 15:35, Tony V E wrote:
> >>> In your opinion, what classes, besides optional, would support
> >>> std::none?
> >>
> >> optional, any, expected, flags... and part of the value is not for the
> >
> > Expected is either a value or an error, so does std::none mean here?
>
> Maybe not; I was thinking that based on something that Tony said, but I
> may have misread. Still, *definitely* std::any, and I can certainly
> imagine other (user) types where it would be meaningful.
>
>
I might have, since expected and optional are very close (optional<T> may
be equivalent to expected<T, nullopt> eventually).
But no, expected doesn't have a none.  It is either a value or an error.

-- 

--- 
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/.

--001a11c26986bb34c3050e465dc2
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><br><div class=3D"gmail_extra"><br><div class=3D"gmail_quo=
te">On Wed, Feb 4, 2015 at 12:03 PM, Matthew Woehlke <span dir=3D"ltr">&lt;=
<a href=3D"mailto:mw_triad@users.sourceforge.net" target=3D"_blank">mw_tria=
d@users.sourceforge.net</a>&gt;</span> wrote:<br><blockquote class=3D"gmail=
_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:=
1ex"><span class=3D"">On 2015-02-03 18:01, Bjorn Reese wrote:<br>
&gt; On 02/03/2015 10:06 PM, Matthew Woehlke wrote:<br>
&gt;&gt; On 2015-02-03 15:35, Tony V E wrote:<br>
&gt;&gt;&gt; In your opinion, what classes, besides optional, would support=
<br>
&gt;&gt;&gt; std::none?<br>
&gt;&gt;<br>
&gt;&gt; optional, any, expected, flags... and part of the value is not for=
 the<br>
&gt;<br>
&gt; Expected is either a value or an error, so does std::none mean here?<b=
r>
<br>
</span>Maybe not; I was thinking that based on something that Tony said, bu=
t I<br>
may have misread. Still, *definitely* std::any, and I can certainly<br>
imagine other (user) types where it would be meaningful.<br>
<span class=3D"HOEnZb"></span><br></blockquote></div><br></div><div class=
=3D"gmail_extra">I might have, since expected and optional are very close (=
optional&lt;T&gt; may be equivalent to expected&lt;T, nullopt&gt; eventuall=
y).<br></div><div class=3D"gmail_extra">But no, expected doesn&#39;t have a=
 none.=C2=A0 It is either a value or an error.<br><br></div></div>

<p></p>

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

--001a11c26986bb34c3050e465dc2--

.