220 28325 <49f10911-a960-6a4f-2f47-ccbdbc8d0f81@rrsd.com> article Path: news.gmane.org!.POSTED!not-for-mail From: Robert Ramey Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: what makes a Concept a Concept? Date: Thu, 22 Sep 2016 18:49:06 -0700 Lines: 35 Approved: news@gmane.org Message-ID: <49f10911-a960-6a4f-2f47-ccbdbc8d0f81@rrsd.com> References: <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: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1474595371 1750 195.159.176.226 (23 Sep 2016 01:49:31 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 23 Sep 2016 01:49:31 +0000 (UTC) User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.11; rv:45.0) Gecko/20100101 Thunderbird/45.2.0 To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDG73K7L6AIRBGEUSK7QKGQEQD7JNRA@isocpp.org Fri Sep 23 03:49:27 2016 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-oi0-f69.google.com ([209.85.218.69]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bnFc5-00075l-G5 for gclcip-std-proposals@m.gmane.org; Fri, 23 Sep 2016 03:49:17 +0200 Original-Received: by mail-oi0-f69.google.com with SMTP id r126sf240817539oib.2 for ; Thu, 22 Sep 2016 18:49:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding: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=UtgeDqY5IovE7IsK0OeyiHcmb3agY2hDrMJLS+bRLv8=; b=S9JS2pJOwBIkE/ljLpxspy8kuPC6Trpo5pN2ZluyoafKvzp6DOpusQy5AWpwn2deeI cnPDyuZBnOMWYuLx01m/4q14wImsoiTyCzI2MUgaPNAQKtBNQrVvsHxV2zaAWD5B3wCh fPSooaVy/cQuhEfJBKWd4Yq9ttGurUpJ3pAVssnE9vcVlXyxAhHYty3sYyy0pib2kiET B8oPscxCSz3Cv0ZRJl4MXD3SoJdTFO+R+hQ++o6oFkBBoIobYaWtMifX8jLfjUMLcWj6 qq/718ZwmaqiSWr0Xw36G9n+2pXS4jzFV1IJ1FKIscGgQrJN48GE3J8bIaA5gWIIpKgT X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding :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=UtgeDqY5IovE7IsK0OeyiHcmb3agY2hDrMJLS+bRLv8=; b=kEnMy+gW1xCBRLaMKxqPx2NUJG93u6OFqqQI4qxDyrRzFb49yzrOLv/N2xF0umKM7P 3qj9qs/oZOS63ptITm6Jk78aNikHG/y6xDthVzdulkGlWiIV5FDdRLp9QlJO0wu6g8dw 4vAfQQ2H6PA57vVmqDdM6ddnbsHfYtlRfx3kFXU1ld8AHyo++TfzBcbpoQ2/Jw/Ml8hw w9T3rBMF3I4EIZXfzH7pm5dsxLacnOyaNnJrVtjXLzOYvn9Pz/VE5OTbQdqP1Aow5ZkY peWsPUfV5Eq3+/8VCh77oZCZxAapB/goDFORt8mZ2P6jfkPDR1/xiEFujYEQWjBVMFmk X-Gm-Message-State: AA6/9RlXelqvsVQ/kvu+KxHVVmOL9Z6loyUz0bWl67UTgZ1AGWEnKoUp78PzTvb+9YbdFQ== X-Received: by 10.157.4.72 with SMTP id 66mr901344otc.26.1474595358982; Thu, 22 Sep 2016 18:49:18 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.36.217.69 with SMTP id p66ls123083itg.18.canary; Thu, 22 Sep 2016 18:49:12 -0700 (PDT) X-Received: by 10.66.47.170 with SMTP id e10mr3081924pan.110.1474595352249; Thu, 22 Sep 2016 18:49:12 -0700 (PDT) Original-Received: from bongo.birch.relay.mailchannels.net (bongo.birch.relay.mailchannels.net. [23.83.209.21]) by mx.google.com with ESMTPS id r7si4877768pfa.265.2016.09.22.18.49.11 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Thu, 22 Sep 2016 18:49:12 -0700 (PDT) Received-SPF: pass (google.com: domain of ramey@rrsd.com designates 23.83.209.21 as permitted sender) client-ip=23.83.209.21; X-Sender-Id: wwwh|x-authuser|ramey@rrsd.com Original-Received: from relay.mailchannels.net (localhost [127.0.0.1]) by relay.mailchannels.net (Postfix) with ESMTP id CB7D71BD335 for ; Fri, 23 Sep 2016 01:49:09 +0000 (UTC) Original-Received: from clippers.accountservergroup.com (ip-10-120-4-226.us-west-2.compute.internal [10.120.4.226]) by relay.mailchannels.net (Postfix) with ESMTPA id 2A3161BD1E3 for ; Fri, 23 Sep 2016 01:49:09 +0000 (UTC) X-Sender-Id: wwwh|x-authuser|ramey@rrsd.com Original-Received: from clippers.accountservergroup.com ([UNAVAILABLE]. [10.107.128.240]) (using TLSv1 with cipher DHE-RSA-AES256-SHA) by 0.0.0.0:2500 (trex/5.7.8); Fri, 23 Sep 2016 01:49:09 +0000 X-MC-Relay: Neutral X-MailChannels-SenderId: wwwh|x-authuser|ramey@rrsd.com X-MailChannels-Auth-Id: wwwh X-MC-Loop-Signature: 1474595349318:3381657780 X-MC-Ingress-Time: 1474595349317 Original-Received: from ip68-6-126-194.sb.sd.cox.net ([68.6.126.194]:52570 helo=Roberts-Mac-mini.local) by clippers.accountservergroup.com with esmtpsa (TLSv1:DHE-RSA-AES128-SHA:128) (Exim 4.87) (envelope-from ) id 1bnFbw-000A7T-I9 for std-proposals@isocpp.org; Thu, 22 Sep 2016 18:49:08 -0700 In-Reply-To: X-AuthUser: ramey@rrsd.com X-Original-Sender: ramey@rrsd.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of ramey@rrsd.com designates 23.83.209.21 as permitted sender) smtp.mailfrom=ramey@rrsd.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:28325 Archived-At: > Robert Ramey, at the same time when reading papers(design papers) about > Concepts we find Designers talking about the idea of *Syntactic and > _Semantic _requirments*. > for example M. Bjane Stroustrap is saying that Concept are Constraints > plus "axioms", and the semantic part of this definition is axioms. > here are some citations from B.S and others intresting papers: > B.S.: > > constraints are predicates on static > properties of a type, and concepts are abstract specifications of an > algorithm=E2=80=99s > syntactic and semantic requirements Maybe - but that would be quite different than the way the term=20 "Concepts" was was first used in 1995 when Stepenov make the first STL=20 and the term became popular. This only goes to show the pitfalls of=20 coining one's own vocabulary/definitions in cases like this. As we can see above, the meaning of the term "Concepts" is even more=20 muddled than when if was first used in this context. It's my view that=20 usage of the term is confusing (as it is here) and is best avoided. I=20 still believe that "Type Requirements" best captures the current meaning=20 of the idea. Robert R --=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/49f10911-a960-6a4f-2f47-ccbdbc8d0f81%40rrsd.com. .