220 39008 article Path: news.gmane.org!.POSTED!not-for-mail From: Zhihao Yuan Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: RE: Re: Concepts: Investigating implicit type-name introduction Date: Sat, 07 Jul 2018 02:23:27 -0400 Lines: 57 Approved: news@gmane.org Message-ID: References: <0c0da3b7-02f4-4130-9441-5a1385864d39@isocpp.org> <4a42b005-ca66-474c-83ea-4273836db2df@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1530944489 7244 195.159.176.226 (7 Jul 2018 06:21:29 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 7 Jul 2018 06:21:29 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCSKRWMD4EHBBZ5YQHNAKGQECXJP4DQ@isocpp.org Sat Jul 07 08:21:25 2018 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-wm0-f69.google.com ([74.125.82.69]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fbgay-0001ni-UU for gclcip-std-proposals@m.gmane.org; Sat, 07 Jul 2018 08:21:25 +0200 Original-Received: by mail-wm0-f69.google.com with SMTP id g73-v6sf9535861wmc.5 for ; Fri, 06 Jul 2018 23:23:36 -0700 (PDT) ARC-Seal: i=2; a=rsa-sha256; t=1530944616; cv=pass; d=google.com; s=arc-20160816; b=XQs2B0k+KNmW4nIKXVq7sl/rSiM6Lbc4w4ilxf4zlwoxghSLVp9Ov+GHp5Zy6CbTnH B5diqKKZXq/i8pDYlypXvtrAi2KybKpgfl87xosL1cUSPFkeEw3Ia+UCfQYy4rC/5lLc g6N6R7j3h0Sskmz/W3fjHTox1tAHIWHbLy9BMqnFY2uAdTEhzplvElfIT3ZQmXsY5dVc P1qVt9ObxXcpYI6loLnSSgMsCFZ4XE//IAMsqhliypAJx4IxqAH6FJu1c7PYzNSWKOK0 aBLtw536Vjvuc+XAvDypct/9ixgbir3x+fxc+VqPqb1WZ3cZQBhf1XfY+gfWqLyg4cEr FYWQ== 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:content-transfer-encoding :mime-version:feedback-id:references:in-reply-to:message-id:subject :reply-to:from:to:date:arc-authentication-results :arc-message-signature:dkim-signature:arc-authentication-results; bh=jtvl897bS2X98PSRxOG2zGwtLJIWpLvgBZ6O4WEH5Hw=; b=LOjI8XfZ2+tssiM0qckardR+vPD89EJ6Ll9h2KUBhxb+g9vChEozGmW8d57l0+2SbL C2Nw6ovleuM87znNdEQ07tqI2bBk2VFUAutGwh1XYb8z88z0zr1r90QkQJFKe28eiqbf 6H/nAhBb2bByDls0er5ZaLn05AyggWiCZXPOvfw8Z2cF2T3ZjZABWKGbmub86zVabyH5 kXwIvLzQdc+HPBBOHztXcTBLwHJrMkK0XX/Mg9qU+O8h6Cd8xyFC/n8BByx4y8rhQrL+ XiDYIzhuzPGPFpVwfl5IgXxKVVLrDsyzjsITDbQoou50gtLwt0w3IQ761GqhKelh+FaR ARC-Authentication-Results: i=2; mx.google.com; dkim=pass header.i=@miator.net header.s=protonmail header.b=S1E7hvuN; spf=pass (google.com: domain of zy@miator.net designates 185.70.40.18 as permitted sender) smtp.mailfrom=zy@miator.net DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:to:from:reply-to:subject:message-id:in-reply-to:references :feedback-id:mime-version:content-transfer-encoding :x-original-sender:x-original-authentication-results:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=jtvl897bS2X98PSRxOG2zGwtLJIWpLvgBZ6O4WEH5Hw=; b=yKNZ1dI2Rh1UJdWMe5NafGAwa0CBAaJoowe8fskUvQIQQjBEU3wDeDh0y03QnFSwFm xQ4AwbShOVddfcQvyUORH88qEb701+o8P+uWm2rS80A1u/Sgho0nZ4jusdRyyG9to/zr bRlAVFGEHGvnBMwL5o2LH7IKAQ2S1hXh1THm/p9iFaS401mAAdeKW/3520ZOncDHm+jh yNIXGgYgw4VB/SClhNWuCS8QCkNmrnU8GFJtpkOTVyKx4qoMu3ccdy0DIVIvih5kt39c JDxGTuTJekM4IEyFRRRR6ffrIRelJiqCCHas10aqz4wWvg/PUjNS1TjgRPa4U8OmP0/7 rI+Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:date:to:from:reply-to:subject:message-id :in-reply-to:references:feedback-id:mime-version :content-transfer-encoding:x-original-sender :x-original-authentication-results:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=jtvl897bS2X98PSRxOG2zGwtLJIWpLvgBZ6O4WEH5Hw=; b=FpxKtDOY2MUBRfj93QngeOmgbh+1Gx/T6KrJZhcgVQNP3l5SdeN63zx94gtYjQBPT+ 2+NrqYpPWiM+uX5OO4URV5f4rYHlA9Cq4wvyhgbO8/rdi1egvzlsJxemP9IR2FIDwaXa LOLXc2XwceH1tTTNyasqJVX6/v2PyD5cWdFaoPuAC4lwPkqZWZ02CzJYstQ5eK7VUYvc HdPrut6s/crifZVglt2sZY/V/8stoMOSNFS8awAlnQCY/QTbgF0K7Im1tk1sJ168v9IK uB/GGHT73jcYT1PPpOYcwrS/HBAtFd2LQhSD67T4EcS4tUrik/WFyq0bIxW X-Gm-Message-State: APt69E35Eqf41tPa95mbciS15VkQM5STaFK/2ho+Zt1pIn0H5Tp83kuz IUmKCQ8Swnx/GYtw3B/RTkAJXg== X-Google-Smtp-Source: AAOMgpcdX21bLuVDvv3BiPJR3i3julbtBM533rVxbIUXR0xGezIQolaNYuoz3Mkkp63zFAV0yo+MOA== X-Received: by 2002:a1c:7904:: with SMTP id l4-v6mr1115439wme.31.1530944616213; Fri, 06 Jul 2018 23:23:36 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 2002:a1c:f704:: with SMTP id v4-v6ls1812616wmh.11.canary-gmail; Fri, 06 Jul 2018 23:23:35 -0700 (PDT) X-Received: by 2002:a1c:4004:: with SMTP id n4-v6mr7520112wma.83.1530944615044; Fri, 06 Jul 2018 23:23:35 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1530944615; cv=none; d=google.com; s=arc-20160816; b=zzrih+HBjhEujeLRTu4WFR0jy6IMoUOW+ccQTEpepowdEWXTTrlkLFsqNnTWVZC654 4NqbTVY7rHZFNN73EQK8Y+RJs/ABSDKXu/OKlnuxc0g69vur04ggew8AJO0VdDCtwUyn JEEpJQ5I/8ae3kq3BNm57gEIU8OQaUwcY8QkeyNpxHItR/jzzFkUIdreoJwLcgusbSs+ yB8l9ZhGqVFNPjiH6yFeCO8Gw3VTp4b1mHSPw70jZbvG/tiJ8BGXr9pfalgZa9YYdpn6 9JkEq3NzJuLd3pSmk+5XaUhzugeXDDGpbteSrb7wbCnF2ch0sSyHkEMNyrk7gvuMWDhD 9AIw== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=content-transfer-encoding:mime-version:feedback-id:references :in-reply-to:message-id:subject:reply-to:from:to:dkim-signature:date :arc-authentication-results; bh=mXo6Af6Q35sjWm4jGZYp0eui30tYAbVKcJLEdwKmLr0=; b=RZmGGNPbM8xBQTfwjkIkaOJT5jDoD+K31LGNKk1gjs+4ViJsOTZ7bNigRUKl1Gvk3D Mvgc3F5G3TupsM9n8UNpP4OCUbTaksUg9LSw0bczfRzDQ6pFanXZ71kQ5DZ4JLeaIJRe 8XJPE4YMH+Cla+aK9wHlQT8lAWzVor0of66C7L24tyxdD5uzyFLeHJkrrsuzrdOi64LX VKQAQ6K81aJ40sllb691VckVkJjUZ/793ojOnVji6ZCuy2tetS4v6FDs+Bmr9roJnPPD KK8KJ86Pswy3drg9KkLXYnLiR6PUFZL95x6TMmGwVbsOL0B0oyDLP2/SL21TZDcFEq7R Z4kA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@miator.net header.s=protonmail header.b=S1E7hvuN; spf=pass (google.com: domain of zy@miator.net designates 185.70.40.18 as permitted sender) smtp.mailfrom=zy@miator.net Original-Received: from mail1.protonmail.ch (mail1.protonmail.ch. [185.70.40.18]) by mx.google.com with ESMTPS id n192-v6si7611530wmg.186.2018.07.06.23.23.34 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 06 Jul 2018 23:23:34 -0700 (PDT) Received-SPF: pass (google.com: domain of zy@miator.net designates 185.70.40.18 as permitted sender) client-ip=185.70.40.18; In-Reply-To: Feedback-ID: xu1i2ADzKwGyrUl8KbXpsa1PQSI0Bc21qlX1V7gpMylRDQPR42YBpWcLHW4brubvCmGM18xDo5tgsD-vWFu_cQ==:Ext:ProtonMail X-Original-Sender: zy@miator.net X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@miator.net header.s=protonmail header.b=S1E7hvuN; spf=pass (google.com: domain of zy@miator.net designates 185.70.40.18 as permitted sender) smtp.mailfrom=zy@miator.net 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:39008 Archived-At: > From: Nicol Bolas =20 > Sent: Friday, July 6, 2018 10:04 PM >=20 >> A wholesome proposal=20 >> must base on real code and real demand. So far, neither=20 >> Ranges nor Text_view has any demand for anything what=20 >> P1141R0 proposes. It looks like at this point we are not=20 >> just designing by committee, but also designing for=20 >> committee. >=20 > Pretty much everyone agrees that having terse syntax of some form is a go= od thing. Real demand for terse syntax of some form is undeniable; just ask= actual users whether they want it or not.The only question which remains i= s how you spell it. The Concepts TS had one spelling, but it had some issue= s. This proposal resolves those issues in a way that most people can live w= ith. >=20 "Real demand for terse syntax of some form is undeniable" !=3D " Real demand for terse syntax of any form is undeniable." If the proposed syntax doesn't help Ranges, then where is the demand? Here is a roughly complete list of the signatures that can benefit from P1141R0 in Ranges: destroy_at next (1 overload out of 4) prev (1 overload out of 3) operator=3D=3D, operator!=3D of =E2=80=9Cunreachable=E2=80=9D, 4 overlo= ads One might say that Ranges is complex -- how would he/she prove it, show us a simple real-world Concept-enabled library? > It has none of the parsing problems that the prefixed `template` has. It = has none of the oddness of Herb's syntax. And it even improves on the Conce= pts TS syntax by allowing different kinds of deduction to be constrained. >=20 None of these are in the working paper, so none of these is an improvement to status quo. -- Zhihao --=20 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 e= mail 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/nmFc31IRHWZYF81B6CG94aehv-K5nOq2n0WmX7BLJGSXT5P9= AllALpNzk-syvvMN64-S4aO3-ar7j2c6PwEnsymJn03SRIXn12V0iDegwG0%3D%40miator.net= .. .