220 28287 <1fc1c369-a709-41b0-bcd6-5fc01e814a5a@isocpp.org> article Path: news.gmane.org!.POSTED!not-for-mail From: najjarchedy@gmail.com Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: what makes a Concept a Concept? Date: Sun, 18 Sep 2016 15:05:39 -0700 (PDT) Lines: 85 Approved: news@gmane.org Message-ID: <1fc1c369-a709-41b0-bcd6-5fc01e814a5a@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_196_1361037645.1474236339277" X-Trace: blaine.gmane.org 1474236355 26155 195.159.176.226 (18 Sep 2016 22:05:55 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 18 Sep 2016 22:05:55 +0000 (UTC) To: ISO C++ Standard - Future Proposals Original-X-From: std-proposals+bncBD5YPAFITIARBNE77S7AKGQERJTHDOA@isocpp.org Mon Sep 19 00:05:51 2016 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-qk0-f197.google.com ([209.85.220.197]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1blkDU-0004yZ-P6 for gclcip-std-proposals@m.gmane.org; Mon, 19 Sep 2016 00:05:40 +0200 Original-Received: by mail-qk0-f197.google.com with SMTP id j129sf204981523qkd.3 for ; Sun, 18 Sep 2016 15:05:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=date:from:to:message-id:subject:mime-version:x-original-sender :reply-to:precedence:mailing-list:list-id:x-spam-checked-in-group :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=NPpkzgwVtTgdc0RYqT4r6XDCHPDGzHm0E0QkWigUlcU=; b=RVeCyQJTqTBEkp8v149eBKaIvl/5rZ1UEiDvSfBRIQVCx0FmDyRblgWmvTSnmsQxn5 bAvc2C8YeycPJWyTF5R9MhmWWzx4jHkzLpnboArd+ct+eMr+9CYvyDAacx9908bcNEjF 7QSY5/m9v07NE/pgIRf/QzYM27uZmwioD0LPa0OJiN/SeM+/0Z/SipJe5K3vuWAeDm2i 4XZv1pZ96pWap3xwMii4nzxCF2bVAhKUbvYPcWRhbqXQUlvPlIcMCNiC691G3iIAZ0Wl FNxHKU20a57HkcSPAfXOvpzGjquiz1Vox+cqWl4VYzJGCW5T6tGCqfYwNKvNUa6XT9+3 /Xjg== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:subject:mime-version:x-original-sender :reply-to:precedence:mailing-list:list-id:x-spam-checked-in-group :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=NPpkzgwVtTgdc0RYqT4r6XDCHPDGzHm0E0QkWigUlcU=; b=Rc1Two4Rpr9KZRtJuDEI+zUbGMYE11vqvSPe6fAxZb05m+GA+owgJu9KMbtblZ/U+1 Sm6X+QGpJy62Wbbp+Y2V1q8Kb3xHMcLvkOVElucqH9XvjDO5PRRqEtk+TIwZiRoQ9Jyp rGIa2kYT7f754WAXVVnFc6dBQkCPKULspsatGNvZqCYIEDXNFF4xt5+GMCPSGjwUPhB+ gdHM7e9jH43SZYVwpjvcT9adAHL0LOxCWvb6xTMhVcFoc8abEVrDdZW5RUFR0fKu2VG7 aAGL5SHurYBNnzOrSQsYnkxMY70zw4CtvkkieKJ1hYChV4w1TKqz3SM9Gh3pwppDJUWV gl0A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:date:from:to:message-id:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=NPpkzgwVtTgdc0RYqT4r6XDCHPDGzHm0E0QkWigUlcU=; b=nNbRRCnmSmt0bWkkowKjEtTPwzYb2TNbxZZprpDGU0yRbzY2TnyOMSbxiTK2XZmcTz GwNmOhkftExL6iZF46sF4lRQRe9tevC3EDpfXshnmeMgtrTuLBCV0magEvnDr5PuEa16 nrT311L7OI+XqiFc5yoGp3OYk4mIsrJbx2L+Kl19z7z7MDseL+1o2jq2VvBTExdtbttO Nyt/yQpt4kRspdeEieaZTwsKb+OGjy6tGcInJsgMJgefPZ7uuvO/g0KshVcR4i5kNDan AIC2KdvuP+bxj2rXJWHTUkf6BDAXmXeDbjUrT4UU4V+3XHQTabHZscCIOlh3iJn04G6Z g1qg== X-Gm-Message-State: AE9vXwO5Fu5VcQFKUA6nyB4CEeg6/FE+vExHslFOZ90WbXUV+mj/nnys9rsOJrXuJJ0QNA== X-Received: by 10.129.39.18 with SMTP id n18mr4811044ywn.32.1474236342102; Sun, 18 Sep 2016 15:05:42 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.107.141.77 with SMTP id p74ls3224459iod.9.gmail; Sun, 18 Sep 2016 15:05:40 -0700 (PDT) X-Received: by 10.36.125.65 with SMTP id b62mr201728itc.8.1474236340483; Sun, 18 Sep 2016 15:05:40 -0700 (PDT) X-Original-Sender: najjarchedy@gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: 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:28287 Archived-At: ------=_Part_196_1361037645.1474236339277 Content-Type: multipart/alternative; boundary="----=_Part_197_1903939084.1474236339277" ------=_Part_197_1903939084.1474236339277 Content-Type: text/plain; charset=UTF-8 i started writing an article/documentation about Concepts by at a point in time when i started giving examples and saying if this is a Concept or a simple Constraint, i found my self enable to answer the question why this is a concept ? according to CPPCoreGuideline example :Addable is not a Concept because it violates the Commutativity property of Addition.that's okay, but what makes EquallyComparable or Regular a Concept? Addable is defined like so: template concept bool Addable = has_plus; thx -- 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/1fc1c369-a709-41b0-bcd6-5fc01e814a5a%40isocpp.org. ------=_Part_197_1903939084.1474236339277 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

i started writing an article/documentation about Conce= pts by at a point in time when i started giving examples and saying if this= is a=C2=A0 Concept or a simple Constraint, i found my self enable to answe= r the question why this is a concept ?
according to CPPCoreGuideline exa= mple :Addable is not a Concept because it violates the Commutativity proper= ty of Addition.that's okay, but what makes EquallyComparable or Regular= a Concept?

Addable is defined like so:

template<typename T> concept bool Add=
able =3D has_plus<T>;



=
thx



--
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 https://groups.google.= com/a/isocpp.org/d/msgid/std-proposals/1fc1c369-a709-41b0-bcd6-5fc01e814a5a= %40isocpp.org.
------=_Part_197_1903939084.1474236339277-- ------=_Part_196_1361037645.1474236339277-- .