220 27029 <CAGg_6+NEu8s5GVHQidjs8NPRkDwqGg2S3xDMseP41Y_jq77DVQ@mail.gmail.com> article
Path: news.gmane.org!not-for-mail
From: Nevin Liber <nevin@eviloverlord.com>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: Proposal - non allocating std::function
Date: Thu, 14 Jul 2016 22:20:54 -0500
Lines: 77
Approved: news@gmane.org
Message-ID: <CAGg_6+NEu8s5GVHQidjs8NPRkDwqGg2S3xDMseP41Y_jq77DVQ@mail.gmail.com>
References: <e00db911-40f5-4c11-a4b8-32bba77aa0a5@isocpp.org>
 <CANh-dXnpUNf2O5NTj213K1Jfmhge1=eit6+SistzYWZj+5CkNg@mail.gmail.com>
 <ff1087cf-5777-47e9-8caa-d28136aae130@isocpp.org> <e725d932-5fbd-4ac9-b707-66ab6e02a413@isocpp.org>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary=001a114093ce9571670537a41d6e
X-Trace: ger.gmane.org 1468552910 8086 80.91.229.3 (15 Jul 2016 03:21:50 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Fri, 15 Jul 2016 03:21:50 +0000 (UTC)
To: "std-proposals@isocpp.org" <std-proposals@isocpp.org>
Original-X-From: std-proposals+bncBCE35H5S6IDBBPVNUG6AKGQE5HDVISI@isocpp.org Fri Jul 15 05:21:37 2016
Return-path: <std-proposals+bncBCE35H5S6IDBBPVNUG6AKGQE5HDVISI@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-yw0-f197.google.com ([209.85.161.197])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-proposals+bncBCE35H5S6IDBBPVNUG6AKGQE5HDVISI@isocpp.org>)
	id 1bNth2-0004BI-FX
	for gclcip-std-proposals@m.gmane.org; Fri, 15 Jul 2016 05:21:36 +0200
Original-Received: by mail-yw0-f197.google.com with SMTP id c124sf83477142ywd.1
        for <gclcip-std-proposals@m.gmane.org>; Thu, 14 Jul 2016 20:21:36 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:sender: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=yqQz7LOuTDQ0jPJhxc/JhCOD+cI8wRPl/gV9HRAMJB0=;
        b=Dq+RQvyXTRwcvd3QYaQP6funRGP93mdV9zAcwt6XbkwPEw5hozSAF0A9Xn1XWJfC89
         7k8Rh4wOXmz6/gQn1iXic/OOSrI3+Mnlpt1awB4fA5PQNYA/VLUXcFoV80GpXx+iZgWb
         xx1Wh/Jmk1Vlo4nm1WWNW6Z/ml8H8M5xbUv24Zta1nQquXVE6r1AUFUdeToB+oMnxuWY
         4OF2irNvtRfZgs9wrD6G05OPAcN+YRjydI9k20pT0rkhTH/Nty3DBlchr4AWnsn++Yad
         AL5jc2aPFo+0dNmvFfD/ncb6cguN+1itOce3Ha2lxvFiH7AMcRAUi8Rua+9BUTrkZdjT
         3EAQ==
X-Gm-Message-State: ALyK8tK+YyGfsVXWSL2UVKWLDGxaWN1fOBb56BW2jqm4Cw4k/OaSHLQg2EVgsWfBSovGNg==
X-Received: by 10.200.49.116 with SMTP id h49mr8656842qtb.19.1468552895484;
        Thu, 14 Jul 2016 20:21:35 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.157.39.225 with SMTP id c88ls2747636otb.48.gmail; Thu, 14 Jul
 2016 20:21:34 -0700 (PDT)
X-Received: by 10.202.8.210 with SMTP id 201mr6838956oii.107.1468552894381;
        Thu, 14 Jul 2016 20:21:34 -0700 (PDT)
Original-Received: from mail-oi0-x233.google.com (mail-oi0-x233.google.com. [2607:f8b0:4003:c06::233])
        by mx.google.com with ESMTPS id o49si5190642otd.201.2016.07.14.20.21.34
        for <std-proposals@isocpp.org>
        (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
        Thu, 14 Jul 2016 20:21:34 -0700 (PDT)
Received-SPF: pass (google.com: domain of nliber@gmail.com designates 2607:f8b0:4003:c06::233 as permitted sender) client-ip=2607:f8b0:4003:c06::233;
Original-Received: by mail-oi0-x233.google.com with SMTP id w18so146138187oiw.3
        for <std-proposals@isocpp.org>; Thu, 14 Jul 2016 20:21:34 -0700 (PDT)
X-Received: by 10.202.226.205 with SMTP id z196mr7110448oig.13.1468552894048;
 Thu, 14 Jul 2016 20:21:34 -0700 (PDT)
Original-Sender: nliber@gmail.com
Original-Received: by 10.157.34.134 with HTTP; Thu, 14 Jul 2016 20:20:54 -0700 (PDT)
In-Reply-To: <e725d932-5fbd-4ac9-b707-66ab6e02a413@isocpp.org>
X-Original-Sender: nevin@eviloverlord.com
X-Original-Authentication-Results: mx.google.com;       dkim=pass
 header.i=@gmail.com;       spf=pass (google.com: domain of nliber@gmail.com
 designates 2607:f8b0:4003:c06::233 as permitted sender) smtp.mailfrom=nliber@gmail.com
Precedence: list
Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org
List-ID: <std-proposals.isocpp.org>
X-Spam-Checked-In-Group: std-proposals@isocpp.org
X-Google-Group-Id: 399137483710
List-Post: <https://groups.google.com/a/isocpp.org/group/std-proposals/post>, <mailto:std-proposals@isocpp.org>
List-Help: <https://support.google.com/a/isocpp.org/bin/topic.py?topic=25838>, <mailto:std-proposals+help@isocpp.org>
List-Archive: <https://groups.google.com/a/isocpp.org/group/std-proposals/>
List-Subscribe: <https://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>,
 <https://groups.google.com/a/isocpp.org/group/std-proposals/subscribe>
Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:27029
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/27029>

--001a114093ce9571670537a41d6e
Content-Type: text/plain; charset=UTF-8

On 14 July 2016 at 21:57, Nicol Bolas <jmckesson@gmail.com> wrote:

>
> It's not a question of "should the standard library care about
> high-performance code". It's a question of "how many high-performance
> corner cases should be in the standard library?" You can keep adding stuff
> to cover corner cases ad infinitum. At some point, you have to draw a line.
>
[...]

> This actually brings up a small technical deficiency with the current
> proposal: no interop with `std::function`. Well, besides the obvious fact
> that `inplace_function` is a callable and you could therefore shove one
> into a `function` and vice-versa.
>
> We ought to be able to convert between the two without creating overhead.
>

Isn't that just a corner case we ought to be drawing the line at?
-- 
 Nevin ":-)" Liber  <mailto:nevin@eviloverlord.com>  +1-847-691-1404

-- 
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/CAGg_6%2BNEu8s5GVHQidjs8NPRkDwqGg2S3xDMseP41Y_jq77DVQ%40mail.gmail.com.

--001a114093ce9571670537a41d6e
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">On 14 July 2016 at 21:57, Nicol Bolas <span dir=3D"ltr">&l=
t;<a href=3D"mailto:jmckesson@gmail.com" target=3D"_blank">jmckesson@gmail.=
com</a>&gt;</span> wrote:<br><div class=3D"gmail_extra"><div class=3D"gmail=
_quote"><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border=
-left:1px #ccc solid;padding-left:1ex"><div dir=3D"ltr"><br><div>It&#39;s n=
ot a question of &quot;should the standard library care about high-performa=
nce code&quot;. It&#39;s a question of &quot;how many high-performance corn=
er cases should be in the standard library?&quot; You can keep adding stuff=
 to cover corner cases ad infinitum. At some point, you have to draw a line=
..<br></div></div></blockquote><div>[...]=C2=A0</div><blockquote class=3D"gm=
ail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-le=
ft:1ex"><div dir=3D"ltr"><div>This actually brings up a small technical def=
iciency with the current proposal: no interop with `std::function`. Well, b=
esides the obvious fact that `inplace_function` is a callable and you could=
 therefore shove one into a `function` and vice-versa.<br></div><div><br>We=
 ought to be able to convert between the two without creating overhead. </d=
iv></div></blockquote><div><br></div><div>Isn&#39;t that just a corner case=
 we ought to be drawing the line at?</div></div>-- <br><div class=3D"gmail_=
signature" data-smartmail=3D"gmail_signature"><div dir=3D"ltr"><div><div di=
r=3D"ltr"><div>=C2=A0Nevin &quot;:-)&quot; Liber=C2=A0 &lt;mailto:<a href=
=3D"mailto:nevin@eviloverlord.com" target=3D"_blank">nevin@eviloverlord.com=
</a>&gt; =C2=A0+1-847-691-1404</div></div></div></div></div>
</div></div>

<p></p>

-- <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 />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/a/isocpp.org/d/msgid/std-proposals/CAGg_6%2BNEu8s5GVHQidjs8NPRkDwqGg2S3x=
DMseP41Y_jq77DVQ%40mail.gmail.com?utm_medium=3Demail&utm_source=3Dfooter">h=
ttps://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAGg_6%2BNEu8s5=
GVHQidjs8NPRkDwqGg2S3xDMseP41Y_jq77DVQ%40mail.gmail.com</a>.<br />

--001a114093ce9571670537a41d6e--

.
