220 11687 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 01:07:37 +0200 Lines: 144 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=089e0122efac87e5d004fda28a49 X-Trace: ger.gmane.org 1404774467 18417 80.91.229.3 (7 Jul 2014 23:07:47 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 7 Jul 2014 23:07:47 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBD3NR2WQQ4IBBOOQ5SOQKGQE5TFGDDY@isocpp.org Tue Jul 08 01:07:40 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-oa0-f69.google.com ([209.85.219.69]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1X4I0Z-0002Nf-FH for gclcip-std-proposals@m.gmane.org; Tue, 08 Jul 2014 01:07:39 +0200 Original-Received: by mail-oa0-f69.google.com with SMTP id j17sf30882247oag.0 for ; Mon, 07 Jul 2014 16:07:38 -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=KPl7HrZ+R+d3ng3kqlBrb7FE9pnGaYs0KUe1do31YkE=; b=iWW9o9XWKapQ5R9mcI6NYt1Tv0tnUcrEJh6TTx7Bl0k0u2wb0D7udpsOFaeO0SjFe5 /22TG83Ge2EGQFTy4F96WJIsS+Wn7+O33ungAbIuFhqJsyk0c89lHmKVAovgStK+mJKF dGbyHLfYZFoeqjQAHv6aMXwFO8G3NVOOCjWPLMRD+2uNHSl4S4Qvr16nGcTtABh0I1mz E8U/rDiTtZn6vzXLbJeRAd/3hDxXkXMlUlvfK6LxB+66HFle53afoAAFvtrp86iEk9qa MHDW4TRm+fd2av1CnY388QHiOwsaVsIHKFIvaMVadvIXGFJZEUQcJgT8gmErInu4UuIu fxYw== X-Gm-Message-State: ALoCoQnHpA6JzS4I44U8bVttv1l3lFlzLtmVE5kxQITOBtlYgu1BQjkk2d+sqyTm/zzO/D11dhY2 X-Received: by 10.182.213.37 with SMTP id np5mr15991925obc.36.1404774458550; Mon, 07 Jul 2014 16:07:38 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.182.112.225 with SMTP id it1ls718859obb.22.gmail; Mon, 07 Jul 2014 16:07:37 -0700 (PDT) X-Received: by 10.182.19.196 with SMTP id h4mr35249900obe.20.1404774457737; Mon, 07 Jul 2014 16:07:37 -0700 (PDT) Original-Received: from mail-oa0-x231.google.com (mail-oa0-x231.google.com [2607:f8b0:4003:c02::231]) by mx.google.com with ESMTPS id zd10si56397197obc.79.2014.07.07.16.07.37 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 07 Jul 2014 16:07:37 -0700 (PDT) Received-SPF: pass (google.com: domain of mjklaim@gmail.com designates 2607:f8b0:4003:c02::231 as permitted sender) client-ip=2607:f8b0:4003:c02::231; Original-Received: by mail-oa0-f49.google.com with SMTP id i7so5394652oag.8 for ; Mon, 07 Jul 2014 16:07:37 -0700 (PDT) X-Received: by 10.182.104.66 with SMTP id gc2mr33913373obb.17.1404774457532; Mon, 07 Jul 2014 16:07:37 -0700 (PDT) Original-Received: by 10.76.19.20 with HTTP; Mon, 7 Jul 2014 16:07:37 -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:c02::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:11687 Archived-At: --089e0122efac87e5d004fda28a49 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable This paper have just been posted on isocpp.org: https://isocpp.org/files/papers/N4110.pdf It looks a lot like your paper (but I didn't read it completely yet). On Sat, Jul 5, 2014 at 4:31 PM, Andrzej Krzemie=C5=84ski wrote: > > > W dniu pi=C4=85tek, 4 lipca 2014 17:01:15 UTC+2 u=C5=BCytkownik Ville Vou= tilainen > napisa=C5=82: > >> On 4 July 2014 17:52, Andrzej Krzemie=C5=84ski wrote= : >> > Hi, >> > I wanted to share here my reflections about how C++ could support >> contract >> > programming (things like preconditions). One alternative to the >> > "traditional" design-by-contract is considered. >> > >> > I share the html document on GitHub, so there is an inconvenience >> involved: >> > you have to see it in raw form, download and then reopen in the >> browser. >> > Here's the link: >> > >> > https://github.com/akrzemi1/contract/blob/master/contract.html >> >> Tip: >> http://htmlpreview.github.io/?https://github.com/akrzemi1/ >> contract/blob/master/contract.html >> > > Thank you. I missed such a tool for a long while. > > -- > > --- > 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. > Visit this group at > http://groups.google.com/a/isocpp.org/group/std-proposals/. > --=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/. --089e0122efac87e5d004fda28a49 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
This paper have just been posted on isocpp.org:=C2=A0https://isocpp.org/files/papers/N4110.pdf

It looks a lot= like your paper (but I didn't read it completely yet).


On Sat, Jul 5= , 2014 at 4:31 PM, Andrzej Krzemie=C5=84ski <akrzemi1@gmail.com>= wrote:


W dniu pi=C4=85tek,= 4 lipca 2014 17:01:15 UTC+2 u=C5=BCytkownik Ville Voutilainen napisa=C5=82= :
On 4 July 2014 17:52, Andrzej Krzemie=C5=84ski <akrz...@gmail.com= > wrote:
> Hi,
> I wanted to share here my reflections about how C++ could support = contract
> programming (things like preconditions). One alternative to the
> "traditional" design-by-contract is considered.
>
> I share the html document on GitHub, so there is an inconvenience = involved:
> you have to see it in raw form, download and then reopen in the br= owser.
> Here's the link:
>
> https://github.com/akrzemi1/contract/blob= /master/contract.html

Tip:
http://htmlpreview.gith= ub.io/?https://github.com/akrzemi1/contract/blob/master/contr= act.html

Thank you. I missed such a tool for a long = while.

--

---
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-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/gro= up/std-proposals/.

--

---
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>.
--089e0122efac87e5d004fda28a49-- .