220 39148 article Path: news.gmane.org!.POSTED!not-for-mail From: Hubert Tong Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Re: Concept-defined placeholder type Date: Fri, 13 Jul 2018 11:13:40 -0400 Lines: 292 Approved: news@gmane.org Message-ID: References: <36f3bb9f-ca72-428c-b016-a3c035d657d8@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="000000000000fa9b330570e2eddd" X-Trace: blaine.gmane.org 1531494716 21946 195.159.176.226 (13 Jul 2018 15:11:56 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 13 Jul 2018 15:11:56 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBD373PPKVMHBBOMDUPNAKGQEAUZQ23A@isocpp.org Fri Jul 13 17:11:52 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-oi0-f71.google.com ([209.85.218.71]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fdzjb-0005cF-Ut for gclcip-std-proposals@m.gmane.org; Fri, 13 Jul 2018 17:11:52 +0200 Original-Received: by mail-oi0-f71.google.com with SMTP id j17-v6sf41232965oii.8 for ; Fri, 13 Jul 2018 08:14:03 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1531494842; cv=pass; d=google.com; s=arc-20160816; b=Yo+XAgbBCvfxhlw8tyh+6mkQwaEAAc8JAvRgh1p0i4Hdm1jeEI8k+kKni+wfb9+0TB NmJlVSdBM8Yzv1l+bMj5TthjBrJpHEVSz8d9xq0PVJ4Nd6FGLJsTH62x+YmE+3DA5rjh 4ovFQ1bniAFMvOKo7IbnqhVLhOSTZMBOpSA4rgnuWv+96WkdJ4RpQC39e2HUfFnUlcUm fxG1q02/L9Nm07Du/Uq1gHaE2+jsdZ2WLNYkMeLtvY44o2UYq3Bpa5zQHV6U3SiQIJ+k rF++gl/SDrMTPTFqtElBEHIbJCRt7AdkY53vhDpCelDzqEdIy0X/EoOBXCfikaOltuvn JfIw== ARC-Message-Signature: i=2; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-unsubscribe:list-subscribe:list-archive:list-help:list-post :list-id:mailing-list:precedence:reply-to:to:subject:message-id:date :from:references:in-reply-to:mime-version:arc-authentication-results :arc-message-signature:dkim-signature:arc-authentication-results; bh=MBo+cDuXQHug0fGkSc9wG/Ehddoa3IWpgX0sGJqXCcA=; b=bEkTs3wSvALN8yuy/8Koji8sGv930V1AraGOysIbaXwLDhJIMBzsdhkRWHDz2DRnAI soRa4F0ZqmGPXM/97+0iDM0vJXX2rIvlJgIlsB8lFK49uJTSQPTb/OhelLaiURjH887D v5C314s0xMeuf/F0OAhYiJfCJx34utK9rWZ+rtQNPkdNsqp1KlluXfIXAQN9v8sghizI /PmCWW4FX24rNg2LvyMaaJ6ItE6ARU/clrmCJ4QU1EfhK5vCwkR6mXYiGih5C7X2ofZP IK8zYLeABofRuizpZLxEMBtIjvDaF9xzqKWayXJ+6vmyMzoHpOzgvoyKBa5Piz3aRxHH mVNw== ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=SjzpYyGs; spf=pass (google.com: domain of hubert.reinterpretcast@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=hubert.reinterpretcast@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com 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:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=MBo+cDuXQHug0fGkSc9wG/Ehddoa3IWpgX0sGJqXCcA=; b=l6QE2eZUGYyBUqBRNigacld614/3Y7chjyh2cQkQi8lX0KJJfQNm1TUjDbiH7NYzyP Q9tuB3GTUq/waI6tMkirNSPdgP1VpOK8W1zfhgPdKRubJ8y7vawzGN6GMLiwRFO1jdYq pbOy3WBkiNpbd9Pv4j5/3K5FtYmsu0G3PNupRd7zER/zDFhznWkep7uu3Hl7b3nnWFZY L0gI50bIRgpABpEIpOxTVeAsxhRO8B8aWQGUYTanTsGRPjpGkNYu1PxKrL6HL46SI3HZ jqgwhkI14I5V9QMPvk3I9ycLvSfBn9a8n58SEHwJTk+C1sBvXio8HgPi+AIucX7JkJq+ m4mA== 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=MBo+cDuXQHug0fGkSc9wG/Ehddoa3IWpgX0sGJqXCcA=; b=Zyw1cqgfYUy1QcUd/H2VVhgEs+BJqGsvJe51G0l7zw4Ol94t4CxhqQwW1u/Iv/WnKI ezgh2sQxF5XQb5pxHtfGb0Upd9yoqighHF0Hx2wsiVih/C5ThkFf8tYbQt9zB+X+26YI nHYHEr3A3Xrr7LtL/n4QseGh2mH4ZYQEUbq5FZFFDipCXpIVH3qovlMI00BLMgE0wSRV e9UpbGPsbJrNS67BwISM7Lbz92iTb5tmEIT3NPKj+0JoQUepPKuuwFHdXQOOJHtg7kx/ 6oRIq4RJi1I0mLcWtuJ7kY2u7rEKz+gPr1buSg++rslulbH9EH7ydU6nXp00WdD2/vtN bMyw== X-Gm-Message-State: AOUpUlEjlKN8tNoKs1fTGupfuVEfEf8lvKJ89MOOkDg8UicclPk53BhA zQCmmvur1X5KQw2HiaASgyfzXA== X-Google-Smtp-Source: AAOMgpd74phePJoYEXhcYojlGBzfkHMgC8Iq26djd0izi8JfS/tFzOx14j84BQS4y5D8LgET+KMkvg== X-Received: by 2002:aca:cd8c:: with SMTP id d134-v6mr4433254oig.124.1531494842706; Fri, 13 Jul 2018 08:14:02 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:aca:1c10:: with SMTP id c16-v6ls15024924oic.17.gmail; Fri, 13 Jul 2018 08:14:01 -0700 (PDT) X-Received: by 2002:aca:5e02:: with SMTP id s2-v6mr7501863oib.176.1531494841636; Fri, 13 Jul 2018 08:14:01 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1531494841; cv=none; d=google.com; s=arc-20160816; b=XcsNrh7i/lIJIzGzT7lBjkGjQUAkjaDiL6GVhS3evihGKj8dmhe4EHSZF77QywsqZf QT2ROc17yk02RGRs/Uoue5r6Ipu0pMwpKvcsgjmgiSA6SozmmD4WuJ2VtzFqOXof6p4x sByuxAgRgtTnJQe9OTXPM6cUJw+1aBg78QQoCEaP/azOc9CSVSaeiscVUrd13pxG1IDF 2ZyYouyluk87+jNCYbM+PdA9a05wT8GMJ5eUXn7qV8dLiM9LWvwG+2ngX4WxGmGmgGKU v9yC+q6XmAILrhqCyEQCH2aPHrBoZIV+mEUQs7uYgQb+rSodPQgV83Zx0/FYSuFKtwAE FFyQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:subject:message-id:date:from:references:in-reply-to:mime-version :dkim-signature:arc-authentication-results; bh=eYPlMREo1s6VFP2KXVNko3hnkyckG6GJ5XEKZFtM1Eo=; b=aCH1+tewikwu12ezRMigXXf40cEo891t91GtRetNR29qfxODNWayDYWrT3JVN2Aamf XAA/bG7TPgcYea8ARCtcJ2bW5MHw/TkC7l4W+YuBGC8aN2Nw8ED6bOn4fJSZzVy6qgeW ra77iOZC0eJ1CY1YDR2Xta1hGsCdQwM6TDKvRXld3AaClqDa06zVxk5Myh4oU1adblwe prW3OUSVmsMyjXyf5x9p/D6wsMSizpoBFUdvXa4eypF/CO0Zei/bV2CcS42FdQ2jd5Yl Tm+jnIzFEzAnIRa4oxA7Helz6r6GQPPFTUwgciT6NjeAyL9ctKlYl0y8n34hGMFQnO3J FGXg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=SjzpYyGs; spf=pass (google.com: domain of hubert.reinterpretcast@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=hubert.reinterpretcast@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Original-Received: from mail-sor-f41.google.com (mail-sor-f41.google.com. [209.85.220.41]) by mx.google.com with SMTPS id p64-v6sor16675570oia.311.2018.07.13.08.14.01 for (Google Transport Security); Fri, 13 Jul 2018 08:14:01 -0700 (PDT) Received-SPF: pass (google.com: domain of hubert.reinterpretcast@gmail.com designates 209.85.220.41 as permitted sender) client-ip=209.85.220.41; X-Received: by 2002:aca:4ed3:: with SMTP id c202-v6mr7933066oib.92.1531494841088; Fri, 13 Jul 2018 08:14:01 -0700 (PDT) Original-Received: by 2002:a9d:16a1:0:0:0:0:0 with HTTP; Fri, 13 Jul 2018 08:13:40 -0700 (PDT) In-Reply-To: X-Original-Sender: hubert.reinterpretcast@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20161025 header.b=SjzpYyGs; spf=pass (google.com: domain of hubert.reinterpretcast@gmail.com designates 209.85.220.41 as permitted sender) smtp.mailfrom=hubert.reinterpretcast@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Spam-Checked-In-Group: std-proposals@isocpp.org 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:39148 Archived-At: --000000000000fa9b330570e2eddd Content-Type: text/plain; charset="UTF-8" On Fri, Jul 13, 2018 at 11:07 AM, Tony V E wrote: > > > On Fri, Jul 13, 2018 at 10:45 AM, Hubert Tong < > hubert.reinterpretcast@gmail.com> wrote: > >> On Fri, Jul 13, 2018 at 3:45 AM, wrote: >> >>> I am ok with Number auto >>> >>> And I hope it will be upgraded to Number T as it *dramatically* >>> improves declarations as one sees a type like he always did, granted not a >>> concrete one >>> >>> [](All Args&&... args) { f(std::forward(args)...); } >>> >>> *I will take that before ANY other form!* >>> >> It has been mentioned somewhere that we can and probably should pursue a >> syntax to imbue auto with the ability to introduce a name for the type >> deduced (or a name for the invented template parameter in deduction >> contexts). So, the upgrade is not limited to Concept auto (and can be >> pursued separately). >> > > But if we end up with auto{X} being the syntax for naming the deduced > type, and Concept auto{X},... > maybe just go with Herb's proposal now. > It's similar in syntax with respect to the effects of Parts 1 and 2 of P1141, but the position in Herb's paper over what Part 3 of P1141 covers was a deal breaker for some. -- HT -- 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/CACvkUqbAiLkb8Agg2o1AsgPZro2uyc%2BzeL0EzHOUm8rSN1VzmA%40mail.gmail.com. --000000000000fa9b330570e2eddd Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On F= ri, Jul 13, 2018 at 11:07 AM, Tony V E <tvaneerd@gmail.com>= wrote:


On F= ri, Jul 13, 2018 at 10:45 AM, Hubert Tong <hubert.reinterpr= etcast@gmail.com> wrote:
O= n Fri, Jul 13, 2018 at 3:45 AM, <mihailnajdenov@gmail.com><= /span> wrote:
=
I a= m ok with Number auto=

And I hope it will be upgraded to Number T as it dramatically improves declarations as one s= ees a type like he always did, granted not a concrete one

[](Al= l Args&&... args) { f(std::forward<Args>(args)...); }

I will take that before ANY other form!<= /i>
It has been ment= ioned somewhere that we can and probably should pursue a syntax to imbue auto with the ability = to introduce a name for the type deduced (or a name for the invented templa= te parameter in deduction contexts). So, the upgrade is not limited to Concept auto (and can be= pursued separately).

But if we end up with a= uto{X} being the syntax for naming the deduced type, and Concept auto{X},..= ..
maybe just go with Herb's proposal now.
It's similar in syntax with respect to the effect= s of Parts 1 and 2 of P1141, but the position in Herb's paper over what= Part 3 of P1141 covers was a deal breaker for some.

-- H= T

--
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 h= ttps://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CACvkUqbAiLkb8A= gg2o1AsgPZro2uyc%2BzeL0EzHOUm8rSN1VzmA%40mail.gmail.com.
--000000000000fa9b330570e2eddd-- .