220 4990 article Path: news.gmane.org!not-for-mail From: Lawrence Crowl Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: contract programming: invariants or axioms? Date: Tue, 11 Jun 2013 20:42:38 -0700 Lines: 26 Approved: news@gmane.org Message-ID: References: <67dced99-d566-4082-94e1-2f831119e1cf@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1371008564 12368 80.91.229.3 (12 Jun 2013 03:42:44 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 12 Jun 2013 03:42:44 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBCY3D77DYUDBBMO436GQKGQEXM3NTQI@isocpp.org Wed Jun 12 05:42:44 2013 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-ye0-f198.google.com ([209.85.213.198]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UmbxK-00026H-RZ for gclcip-std-proposals@m.gmane.org; Wed, 12 Jun 2013 05:42:43 +0200 Original-Received: by mail-ye0-f198.google.com with SMTP id m13sf8203413yen.9 for ; Tue, 11 Jun 2013 20:42:42 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlers.com; s=googlers; h=x-beenthere: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:x-google-group-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe :content-type:content-transfer-encoding; bh=S1yiY56W7Xp+tTmhS2QvyqJi89rzAvYhKRLGMqGesmg=; b=ZFQQi2U7lBfWwpY8cDp3Lz0sBK3Mwcel5iIqqnd9LjIgT/XbSlWo2yVyzwQ6l7p5yK FFh0OJcs8uhgxhBrho7O+hUA9Plr3tcF/u7eocGUrbjT1I9VDjtAQ3FUmQd/Z3hQ0HC1 MO0Yj7mr6R7mkZycyi1f9SOz4rv4pcdP0A4GM= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20120113; h=x-beenthere:mime-version:in-reply-to:references:date:message-id :subject:from:to:x-gm-message-state:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe:content-type :content-transfer-encoding; bh=S1yiY56W7Xp+tTmhS2QvyqJi89rzAvYhKRLGMqGesmg=; b=VbhOWGIBIkOWAKzccl2RFj8RkqtUmKrq6omAPSXFwg5ooE1amcq5IhagVt219nMMuf upLReGswRi2vfYOaswMf98SYwYzjsZnSix2SfU5PjFXm7MPN911m1zwGmLl1elBV75cG Vs2smZdxKPeFSYcdzBrE9R9AhaPZtUkbKr0L1NGN41FCsFn6h0lRS40IhgYgmS+8cDG9 lbN1kl/SgN/nc1RR/yMaM27RZ13QYZ1OpreSZwU9L6BmqyWBdh4C2u7rr2fDcwAXW14p yNLuJ5saskOUxpYbHbBS2Hr2+xDrCA2DeUrZTloNnzeBvXpl07t X-Received: by 10.224.129.196 with SMTP id p4mr1318183qas.6.1371008561941; Tue, 11 Jun 2013 20:42:41 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.49.119.161 with SMTP id kv1ls2462072qeb.74.gmail; Tue, 11 Jun 2013 20:42:40 -0700 (PDT) X-Received: by 10.224.45.132 with SMTP id e4mr22305435qaf.84.1371008560758; Tue, 11 Jun 2013 20:42:40 -0700 (PDT) Original-Received: from mail-qc0-x234.google.com (mail-qc0-x234.google.com [2607:f8b0:400d:c01::234]) by mx.google.com with ESMTPS id bc4si7170834qcb.161.2013.06.11.20.42.39 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 11 Jun 2013 20:42:39 -0700 (PDT) Received-SPF: pass (google.com: domain of crowl@google.com designates 2607:f8b0:400d:c01::234 as permitted sender) client-ip=2607:f8b0:400d:c01::234; Original-Received: by mail-qc0-f180.google.com with SMTP id a1so2798875qcx.39 for ; Tue, 11 Jun 2013 20:42:39 -0700 (PDT) X-Received: by 10.49.128.7 with SMTP id nk7mr20589671qeb.35.1371008559600; Tue, 11 Jun 2013 20:42:39 -0700 (PDT) Original-Received: by 10.229.135.198 with HTTP; Tue, 11 Jun 2013 20:42:38 -0700 (PDT) In-Reply-To: <67dced99-d566-4082-94e1-2f831119e1cf@isocpp.org> X-Gm-Message-State: ALoCoQnx9IKOQ21cqYhQP1xOcXRImkz4c9HmBajt9JYeMwK0w+mtYtHSsV5wa9z2kCrrGsNUrs2++DnZYy2OrRJscLTzEJq3jr9vfY2qTFdflnspr5vdsjPT3h35JcLB1/hfDGY/C6jfiLR/LD6paP6nhsQJgdJ35QCxtWgWGB1OX4Irt6Wcta668xNjhvjnJ7dIDCpAq83Q07tPnENjqPhDAaX9eAsZFA== X-Original-Sender: crowl@googlers.com X-Original-Authentication-Results: mx.google.com; spf=pass (google.com: domain of crowl@google.com designates 2607:f8b0:400d:c01::234 as permitted sender) smtp.mail=crowl@google.com; dkim=pass header.i=@googlers.com; dmarc=pass (p=QUARANTINE dis=NONE) d=googlers.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:4990 Archived-At: On 6/10/13, Andrzej Krzemie=C5=84ski wrote: > It looks to me that axioms are a generalization (or a superset) or > invariants. Perhaps they should be an integral part of contract > programming. I wonder what others think. You are probably right, but I wonder if generalizing that way is going to exceed our experience. That is, do you think it possible or reasonable to define the simpler form, get use experience, and then extend? --=20 Lawrence Crowl --=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/?hl=3Den. .