220 11805 <0e2090c3-a5d1-4767-b5fb-e9bf5fb913d9@isocpp.org> article Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?Andrzej_Krzemie=C5=84ski?= Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Value constraints (or contract programming in C++) Date: Thu, 10 Jul 2014 05:32:16 -0700 (PDT) Lines: 80 Approved: news@gmane.org Message-ID: <0e2090c3-a5d1-4767-b5fb-e9bf5fb913d9@isocpp.org> References: Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_27_18375580.1404995536552" X-Trace: ger.gmane.org 1404995549 919 80.91.229.3 (10 Jul 2014 12:32:29 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 10 Jul 2014 12:32:29 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDT2DGOJ34DBBUMP7KOQKGQEZMWDIWQ@isocpp.org Thu Jul 10 14:32:22 2014 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-qc0-f198.google.com ([209.85.216.198]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1X5DWN-0007Ey-Eq for gclcip-std-proposals@m.gmane.org; Thu, 10 Jul 2014 14:32:19 +0200 Original-Received: by mail-qc0-f198.google.com with SMTP id m20sf30252556qcx.5 for ; Thu, 10 Jul 2014 05:32:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:message-id:in-reply-to:references:subject:mime-version :x-original-sender:reply-to:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe :content-type; bh=GsjvH3G0JjD9A6qgoVj5GRd9/G7Qe1xlaSLDozfG990=; b=kgmxG56m52yXckUBsyCd/ZsGBQqZe5LDdNcdau7G1PNp98MJATr/71MEUH9mbKrMbv QJ49Si22qrb3+Cej2ehYrjafPdTuCVtErcLcfwEmgxlokVknAlrgPk9RDe1mGuSprg6J AZvUZT81kbbX08wDetg1/GfpM5/uM4livrK9jZ83dDi88mdAegUfUjDJkDjmozvyHHOH WYiXwjVHvqoUqlXWVWcts++krSx2NtXgHK4pLnnDYKnniwNrb7BQ2COtaqKX6kvOI3MT f9jF6FLEgOOpP3Oro472bd7LHDGuHOmmZ31HOJubkwzERFcMe1PPgE1ImKXcdq9h6LTM oHCQ== 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:in-reply-to:references :subject:mime-version:x-original-sender:reply-to:precedence :mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe:content-type; bh=GsjvH3G0JjD9A6qgoVj5GRd9/G7Qe1xlaSLDozfG990=; b=jf8bg4ft9hhFGLLYnXsPHGc8lm2b3QPU7eOhJUp0ZBgDuHtv+vNfJ/kovXy1HKaZ+t QnTysXCeji1vKeKV940yJNff47aQckIkHByaIOsnXB/6lD8Zc3/V+PlGQRUZECHh2274 UlAKIkhxPHcgycIvGxXG0FkdCPj6Rejiu8pk+/BOpAIUx0JTn7wJLL/01n9lU3SAbHgv Rekisnh09sl3G1u0OZhdj8pQQjAlA4E4R/XAqed1bTe4vcFXRC11p49Zo7Kw/RbP+SzT b+2rG7RxW8oZVgIm1sf0042LLW+QtSzo8ebLgnMkFKU6DJfbz2mPzmXo3FrxlouZQLq1 TjYg== X-Gm-Message-State: ALoCoQm4aNBORbekiOl3DH+BG0aG86AwDG/Aa7Sedjjor8JmpgQrnDaH6VK8nTmdkBs3el1EQ4ED X-Received: by 10.224.172.193 with SMTP id m1mr22624131qaz.8.1404995538364; Thu, 10 Jul 2014 05:32:18 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.182.227.133 with SMTP id sa5ls36738obc.89.gmail; Thu, 10 Jul 2014 05:32:17 -0700 (PDT) X-Received: by 10.182.186.34 with SMTP id fh2mr63337obc.21.1404995537064; Thu, 10 Jul 2014 05:32:17 -0700 (PDT) In-Reply-To: X-Original-Sender: akrzemi1@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:11805 Archived-At: ------=_Part_27_18375580.1404995536552 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable W dniu wtorek, 8 lipca 2014 01:07:38 UTC+2 u=C5=BCytkownik Klaim - Jo=C3=AB= l Lamotte=20 napisa=C5=82: > > This paper have just been posted on isocpp.org:=20 > https://isocpp.org/files/papers/N4110.pdf > > It looks a lot like your paper (but I didn't read it completely yet). > Not quite. Like mine, it also sees the necessity of declaring things like= =20 preconditions, postconditions and invariants, however there is a notable=20 difference in what should be done with these declarations. In try to=20 discuss the benefits and issues of different approaches. N4110 just=20 explores one: evaluating them at run-time and installing handlers. --=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/. ------=_Part_27_18375580.1404995536552 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


W dniu wtorek, 8 lipca 2014 01:07:38 UTC+2 u=C5=BC= ytkownik Klaim - Jo=C3=ABl Lamotte napisa=C5=82:
This paper have just been posted on isocpp.org: https://isocpp.org/files/papers/N4110.pdf

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

Not quite. Like mine, it also sees the necessity of declarin= g things like preconditions, postconditions and invariants, however there i= s a notable difference in what should be done with these declarations. In t= ry to discuss the benefits and issues of different approaches. N4110 just e= xplores one: evaluating them at run-time and installing handlers.
=

--

---
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>.
------=_Part_27_18375580.1404995536552-- .