220 11082 <3551362.sJEmF1TLfV@drako> article
Path: news.gmane.org!not-for-mail
From: Ivan =?utf-8?B?xIx1a2nEhw==?= <ivan@mi.sanu.ac.rs>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: N4015: A proposal to add a utility class to
 represent expected monad
Date: Thu, 05 Jun 2014 10:09:24 +0200
Organization: MISANU
Lines: 42
Approved: news@gmane.org
Message-ID: <3551362.sJEmF1TLfV@drako>
References: <94ded66f-1c50-47b9-8a04-b83805443da9@isocpp.org> <2524692.K0qNjsgtn9@drako> <538777A8.4050706@hyc.io>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: ger.gmane.org 1401955778 19675 80.91.229.3 (5 Jun 2014 08:09:38 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Thu, 5 Jun 2014 08:09:38 +0000 (UTC)
To: std-proposals@isocpp.org
Original-X-From: std-proposals+bncBD6M5NX6WAFRBN6LYCOAKGQE7D4YJDA@isocpp.org Thu Jun 05 10:09:31 2014
Return-path: <std-proposals+bncBD6M5NX6WAFRBN6LYCOAKGQE7D4YJDA@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-wg0-f70.google.com ([74.125.82.70])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-proposals+bncBD6M5NX6WAFRBN6LYCOAKGQE7D4YJDA@isocpp.org>)
	id 1WsSjo-0007g4-Gk
	for gclcip-std-proposals@m.gmane.org; Thu, 05 Jun 2014 10:09:28 +0200
Original-Received: by mail-wg0-f70.google.com with SMTP id l18sf553678wgh.1
        for <gclcip-std-proposals@m.gmane.org>; Thu, 05 Jun 2014 01:09:28 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:sender:from:to:subject:date:message-id
         :organization:user-agent:in-reply-to:references:mime-version
         :x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:list-post:list-help:list-archive
         :list-subscribe:list-unsubscribe:content-type;
        bh=ZucuWjCZ8WFMXfcuNCMBmtWl0v05IfF5NHhhIxii9N0=;
        b=Q2wAmGMrDbL88HrNSUlVhepBB/QvufqbkV7XT3Q7nxoIxBjZzHEKrXBEFM7YHonOG/
         LDmr+H18zps/uaRanAwFJs/zSpXO5R6B0crk/U/RGsHCHwjg8sSXReLWMWiYpCIiGzGj
         ejpktczJ1v5n9IhylRIF22xKrxh5W/lL8J/bQr5uhsGshNYNsOsiZnrc7Fb0VOz+bpoW
         BymAzgVmjrVloUhOTYFrfCrccvQtykyKSqH2GVN/DWcbYt1pK909cv6fbGW5APJnMB9L
         CyIx6jZbpNJuigQhf8RLpWpZQlD5tLCFM0s53aXKGLlK6uJ7Fmb/jxo/QT74h5aUQu5u
         s9cw==
X-Gm-Message-State: ALoCoQn5y8cB/6GrxstBGdEbbcg18f7JS9T5B7r//Q5uQgQWXbUqD+ZU4myHgE8h3vx1/Md9CeAJ
X-Received: by 10.112.14.5 with SMTP id l5mr6324974lbc.6.1401955768032;
        Thu, 05 Jun 2014 01:09:28 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.180.73.80 with SMTP id j16ls47439wiv.13.gmail; Thu, 05 Jun
 2014 01:09:26 -0700 (PDT)
X-Received: by 10.180.187.111 with SMTP id fr15mr13085487wic.57.1401955766899;
        Thu, 05 Jun 2014 01:09:26 -0700 (PDT)
Original-Received: from mail-wi0-x234.google.com (mail-wi0-x234.google.com [2a00:1450:400c:c05::234])
        by mx.google.com with ESMTPS id v8si9885097wjx.47.2014.06.05.01.09.26
        for <std-proposals@isocpp.org>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Thu, 05 Jun 2014 01:09:26 -0700 (PDT)
Received-SPF: pass (google.com: domain of ivan.cukic@gmail.com designates 2a00:1450:400c:c05::234 as permitted sender) client-ip=2a00:1450:400c:c05::234;
Original-Received: by mail-wi0-f180.google.com with SMTP id hi2so2909257wib.7
        for <std-proposals@isocpp.org>; Thu, 05 Jun 2014 01:09:26 -0700 (PDT)
X-Received: by 10.194.80.161 with SMTP id s1mr33181360wjx.47.1401955766670;
        Thu, 05 Jun 2014 01:09:26 -0700 (PDT)
Original-Received: from drako.localnet (cable-178-148-120-90.dynamic.sbb.rs. [178.148.120.90])
        by mx.google.com with ESMTPSA id 18sm7005801wju.15.2014.06.05.01.09.25
        for <std-proposals@isocpp.org>
        (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Thu, 05 Jun 2014 01:09:26 -0700 (PDT)
Original-Sender: =?UTF-8?B?SXZhbiDEjHVracSH?= <ivan.cukic@gmail.com>
User-Agent: KMail/4.13.2 (Linux/3.14-1-amd64; KDE/4.13.1; x86_64; git-d40ac91; 2014-06-04)
In-Reply-To: <538777A8.4050706@hyc.io>
X-Original-Sender: ivan.cukic@gmail.com
X-Original-Authentication-Results: mx.google.com;       spf=pass (google.com:
 domain of ivan.cukic@gmail.com designates 2a00:1450:400c:c05::234 as
 permitted sender) smtp.mail=ivan.cukic@gmail.com;       dkim=pass header.i=@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: <http://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>,
 <mailto:googlegroups-manage+399137483710+unsubscribe@googlegroups.com>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:11082
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/11082>


> IMHO, typed errors are only useful when there is contextual information
> to report along with the error. Otherwise integer error codes do the job
> well.

As I said, it could start a war.

One might argue that if you don't need contextual information, you don't need 
any contextual information - the error id, and that using only std::optional 
would suffice.

> Exception are only a kind of "typed error" and I'd advise to use a
> custom error structure (with virtual methods) over exceptions since we

I agree.

> > Yes, saw that. That is one of the things I'd put in a separate proposal -
> > I'm guessing it will receive more resistance than just the expected<...>
> > template.

> I'm totally agree with you, this has little to do in the expected
> proposal. We put it in because we wanted people to see aesthetic ways of
> manipulating expected and monads in general.

Superb. :)


Cheers,
Ivan

--
Money can't buy happiness, but neither can poverty.
  -- Leo Rosten

-- 

--- 
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/.

.
