220 11698 article Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Klaim_=2D_Jo=C3=ABl_Lamotte?= Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Value constraints (or contract programming in C++) Date: Tue, 8 Jul 2014 19:05:05 +0200 Lines: 77 Approved: news@gmane.org Message-ID: References: Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a1134cd04da56bd04fdb19769 X-Trace: ger.gmane.org 1404839118 6191 80.91.229.3 (8 Jul 2014 17:05:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Tue, 8 Jul 2014 17:05:18 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBD3NR2WQQ4IBBQOJ6COQKGQE2PDQBQI@isocpp.org Tue Jul 08 19:05:09 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-qc0-f200.google.com ([209.85.216.200]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1X4YpH-0005Wr-Ql for gclcip-std-proposals@m.gmane.org; Tue, 08 Jul 2014 19:05:08 +0200 Original-Received: by mail-qc0-f200.google.com with SMTP id o8sf21373683qcw.3 for ; Tue, 08 Jul 2014 10:05:06 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from: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:content-type; bh=P9vRy//BdkW87+4asXp3w9ZZIvQDo19JNp9e2UyZGwU=; b=Z24Nl0XvgqktH2ZaS2cOgsNWpV800Tx9hedpCeQa3sJZfId1pcKFVS+smKSb0OMvXe bFN5xpBCyK1nbGeW7/4bWPgNaEUZKS75t2KYL5BkUM0azhpyD5jbhAk5V+ndPToYVbtQ QzY7F8KopKlvVikgdKm74UhYJDSlWOa7V4E3IvdwdRJeQV7iTFnQ5mGIZSmK3U8addNy Mzj1p2mExCTxrtMlBrmEDWCxaSEgYakxeEgoSzDX/Nw50UX/aauz6qU2OgafDfc9KPr+ zCyAvKN0JGTpgzycPhpQN9QpUX/Tv0AjG0rm23j3VdP1+zxWCqkN8kQwDIBwzNvZzOEC CgZA== X-Gm-Message-State: ALoCoQnQimo6as1Nsa3zd48jH9WNP13dAveFPypLbJj2BB1smaQm7NM4wgvEzmMmunrBk0APnwbo X-Received: by 10.58.47.229 with SMTP id g5mr17472703ven.38.1404839106748; Tue, 08 Jul 2014 10:05:06 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.182.138.8 with SMTP id qm8ls915173obb.23.gmail; Tue, 08 Jul 2014 10:05:05 -0700 (PDT) X-Received: by 10.60.59.130 with SMTP id z2mr40249259oeq.4.1404839105685; Tue, 08 Jul 2014 10:05:05 -0700 (PDT) Original-Received: from mail-ob0-x231.google.com (mail-ob0-x231.google.com [2607:f8b0:4003:c01::231]) by mx.google.com with ESMTPS id n7si8841816oex.27.2014.07.08.10.05.05 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 08 Jul 2014 10:05:05 -0700 (PDT) Received-SPF: pass (google.com: domain of mjklaim@gmail.com designates 2607:f8b0:4003:c01::231 as permitted sender) client-ip=2607:f8b0:4003:c01::231; Original-Received: by mail-ob0-f177.google.com with SMTP id uy5so6543112obc.22 for ; Tue, 08 Jul 2014 10:05:05 -0700 (PDT) X-Received: by 10.60.74.103 with SMTP id s7mr12883404oev.82.1404839105548; Tue, 08 Jul 2014 10:05:05 -0700 (PDT) Original-Received: by 10.76.19.20 with HTTP; Tue, 8 Jul 2014 10:05:05 -0700 (PDT) In-Reply-To: X-Original-Sender: mjklaim@gmail.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of mjklaim@gmail.com designates 2607:f8b0:4003:c01::231 as permitted sender) smtp.mail=mjklaim@gmail.com; dkim=pass header.i=@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=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:11698 Archived-At: --001a1134cd04da56bd04fdb19769 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Another question: if I understand correctly, the contracts should be part of the signature of functions? If so, does it means that you have to write the contract too when you forward-declare a free function? If so, does it means that you would be able to check ONLY arguments and return value for free functions? On Tue, Jul 8, 2014 at 6:55 PM, Klaim - Jo=C3=ABl Lamotte wrote: > Andrzej, one thing I've been wondering while reading your paper (and > N4110, I'm in the middle right now) > is: should contracts have a role in overload resolution and if yes how? > I know it's early to get into specifics but maybe your paper could at > least mention the question? > > =E2=80=8B > --=20 ---=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. Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposa= ls/. --001a1134cd04da56bd04fdb19769 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
Another question: if I understand correctly, the contracts= should be part of the signature of functions?
If so, does it means tha= t you have to write the contract too when you forward-declare a free functi= on?=C2=A0
If so, does it means that you would be able to check ONLY arguments an= d return value for free functions?

On Tue, Jul 8, 2014 at 6:55 PM, Klaim - Jo= =C3=ABl Lamotte <mjklaim@gmail.com> wrote:
Andrzej, one thing I've= been wondering while reading your paper (and N4110, I'm in the middle = right now)
is: should contracts have a role in overload resolution and if yes how?
I know it's early to get into specifics but maybe your paper cou= ld at least mention the question?

=E2=80=8B

--

---
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.
Visit this group at http://groups.google.com/a/isocpp.org/group/std-proposals/<= /a>.
--001a1134cd04da56bd04fdb19769-- .