220 6297 <91e77967-0df9-4356-8774-bb8ba558faa6@isocpp.org> article
Path: news.gmane.org!not-for-mail
From: Xeo <hivemaster@hotmail.de>
Newsgroups: gmane.comp.lang.c++.isocpp.proposals
Subject: Re: type signatures or constraints for callable
 entity type parameters
Date: Sun, 8 Sep 2013 11:43:21 -0700 (PDT)
Lines: 52
Approved: news@gmane.org
Message-ID: <91e77967-0df9-4356-8774-bb8ba558faa6@isocpp.org>
References: <1e742e51-3e95-4a3b-bcb8-2052751e77a7@isocpp.org>
 <16095487.EtSydgjv4x@tjmaciei-mobl2>
Reply-To: std-proposals@isocpp.org
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0
Content-Type: multipart/alternative; 
	boundary="----=_Part_1110_25764164.1378665801309"
X-Trace: ger.gmane.org 1378665804 31694 80.91.229.3 (8 Sep 2013 18:43:24 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Sun, 8 Sep 2013 18:43:24 +0000 (UTC)
To: std-proposals@isocpp.org
Original-X-From: std-proposals+bncBCCNBYNYXMJRBSMKWOIQKGQECCOGG6I@isocpp.org Sun Sep 08 20:43:25 2013
Return-path: <std-proposals+bncBCCNBYNYXMJRBSMKWOIQKGQECCOGG6I@isocpp.org>
Envelope-to: gclcip-std-proposals@m.gmane.org
Original-Received: from mail-qe0-f69.google.com ([209.85.128.69])
	by plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <std-proposals+bncBCCNBYNYXMJRBSMKWOIQKGQECCOGG6I@isocpp.org>)
	id 1VIjxF-0001PP-8m
	for gclcip-std-proposals@m.gmane.org; Sun, 08 Sep 2013 20:43:25 +0200
Original-Received: by mail-qe0-f69.google.com with SMTP id 1sf3381726qec.0
        for <gclcip-std-proposals@m.gmane.org>; Sun, 08 Sep 2013 11:43:22 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=date:from:to:message-id:in-reply-to:references:subject:mime-version
         :x-original-sender:reply-to:precedence:mailing-list:list-id
         :list-post:list-help:list-archive:list-subscribe:list-unsubscribe
         :content-type;
        bh=fYPsVrPtvAQgJ1enBkihytSLwaVAZyBEflCf8KxT1KY=;
        b=hMvW7BHzQsubonW+6bztIvNmCfwGVRSfdn6nAwPCKdq8eCmT/g8CXKmIMJX8aVoKcn
         KqB/ZTrTcCKS1tQvX5smqnqD4Gr9ljrAt3wge8tEd6GWBeI/OTL9SGIjzpTa/VMLWNCg
         /83ScysY6OO6bZZm2nquuaoaPlt8NHDb75gepa7mSUX2ulIAa6+8Bb6jMW3CqAIWuZVC
         S8Tl9SqBMkxjJ1Mg+HZmz4Egog1URMyYn00jId5lf/0TJzCDi44KYtGXumT8IXvXaLeG
         H6+geTTx0yirkyk+IcfGMAc4hVAYHltsO12rjPA586HS+fJbYgll8e2RqmW86t0IcBsw
         dc/A==
X-Received: by 10.236.45.102 with SMTP id o66mr856965yhb.47.1378665802127;
        Sun, 08 Sep 2013 11:43:22 -0700 (PDT)
X-BeenThere: std-proposals@isocpp.org
Original-Received: by 10.49.81.230 with SMTP id d6ls1543215qey.93.gmail; Sun, 08 Sep
 2013 11:43:21 -0700 (PDT)
X-Received: by 10.49.25.83 with SMTP id a19mr520492qeg.1.1378665801734;
        Sun, 08 Sep 2013 11:43:21 -0700 (PDT)
In-Reply-To: <16095487.EtSydgjv4x@tjmaciei-mobl2>
X-Original-Sender: hivemaster@hotmail.de
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:6297
Archived-At: <http://permalink.gmane.org/gmane.comp.lang.c++.isocpp.proposals/6297>

------=_Part_1110_25764164.1378665801309
Content-Type: text/plain; charset=ISO-8859-1

On Sunday, September 8, 2013 8:23:56 PM UTC+2, Thiago Macieira wrote:
>
>
> That's concepts-lite. Can you write your proposal in terms of what needs 
> to be 
> added to the language on top of concepts-lite? 
>

Polymorphic type variables, likely. Something that lets you say 
"Callable<F, auto(auto, auto)>", for example. Really don't know how 
feasible that would be in C++.

-- 

--- 
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_1110_25764164.1378665801309
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">On Sunday, September 8, 2013 8:23:56 PM UTC+2, Thiago Maci=
eira wrote:<blockquote class=3D"gmail_quote" style=3D"margin: 0;margin-left=
: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;"><br>That's concepts=
-lite. Can you write your proposal in terms of what needs to be=20
<br>added to the language on top of concepts-lite?
<br></blockquote><div><br>Polymorphic type variables, likely. Something tha=
t lets you say "Callable&lt;F, auto(auto, auto)&gt;", for example. Really d=
on't know how feasible that would be in C++.<br></div></div>

<p></p>

-- <br />
&nbsp;<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 std-proposals+unsubscribe@isocpp.org.<br />
To post to this group, send email to std-proposals@isocpp.org.<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 />

------=_Part_1110_25764164.1378665801309--

.