Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82332
Return-Path: <yohgaki@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 6184 invoked from network); 10 Feb 2015 06:28:20 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 10 Feb 2015 06:28:20 -0000
Authentication-Results: pb1.pair.com header.from=yohgaki@gmail.com; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=yohgaki@gmail.com; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.181 as permitted sender)
X-PHP-List-Original-Sender: yohgaki@gmail.com
X-Host-Fingerprint: 209.85.216.181 mail-qc0-f181.google.com  
Received: from [209.85.216.181] ([209.85.216.181:64686] helo=mail-qc0-f181.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 94/F5-47508-305A9D45 for <internals@lists.php.net>; Tue, 10 Feb 2015 01:28:20 -0500
Received: by mail-qc0-f181.google.com with SMTP id p6so11169999qcv.12
        for <internals@lists.php.net>; Mon, 09 Feb 2015 22:28:17 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:from:date:message-id
         :subject:to:cc:content-type;
        bh=kwDPVH8PLYwkkd3KfAtK/2JeGrYp4m2TnXGiu5ADPOg=;
        b=osjky6v4Tyl/iFXWOqaC1GJlcIqOVFDNB/P5adDcJIULs4cAWkGh6170ezlC+6AK7L
         oNKR5YthIggb6ph9RjjIXaEXsMvCWzjLkiDOOPFe2lxTSdYS+X3xllwTO8ZA5YbFbG1Z
         CoYhTBrHK4FiaM0QAJGrqPZCCQ1y45UAIfbbev8DJkDyyJ7Ak4n5UeOm8FX9twxJjzMi
         fGj742nb60hDrJvs0ZMxQyImdrHSYTqB4LT1wjMZGyfpVbNXHbX3BdVn4cT7G5rHMo2I
         F0WPyyTmjhP1Qbfe8juBokgDnfnTdeg2vbpvK2VXT01jjcDDGB4Djx80h3T4oqrfJ7HR
         VRXA==
X-Received: by 10.224.53.194 with SMTP id n2mr5681477qag.21.1423549697532;
 Mon, 09 Feb 2015 22:28:17 -0800 (PST)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
Received: by 10.229.35.200 with HTTP; Mon, 9 Feb 2015 22:27:37 -0800 (PST)
In-Reply-To: <CAL=_i_kypYpa3t06peRKwtww=cbh+KhM+iAOtotDGNaFfJBuVA@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
 <54D7ED22.3080001@gmail.com> <CA+9eiLvn7BzfG5N+5Oca8pVO1OTzN9=jWof6NrVDfxvvu-XqPA@mail.gmail.com>
 <CAL=_i_m78Zo5euReKsvFfrLknFq7KEzoNnrrBefC987u+=+yHQ@mail.gmail.com>
 <CA+9eiLuUFiKwOR-BqQEmkQirpAMxgb0GE70Zz7h4WDsd1Me8FQ@mail.gmail.com>
 <CAGa2bXYDvdvRLiOpDk8EnvE00JE4x47SXB9fET4uO2Er_F6s_w@mail.gmail.com>
 <CAL=_i_=mGc_0u0YDCQ7Jiqn_ggyJmQSd_mk_snf7ArDpDXO53A@mail.gmail.com>
 <CA+9eiLur0DVGBNkzFkiTj3POL5B9H0D8=5wE-wuwN2O-FQZNyg@mail.gmail.com>
 <CAL=_i_m=XDKtc2iCSjoquaHkmX862gyMweKS5Xw4AS--oLj19w@mail.gmail.com>
 <CA+9eiLsX=mOOgXmNBKD1L6WKx2=Vy81mThaKa1XCjjAw6R=2vA@mail.gmail.com>
 <CAGa2bXYYp0WQmnTnbsHXzc8XGG0PxOVHu7XvwiMCSJiUWoKeCg@mail.gmail.com>
 <CAGa2bXbKs8cGRTQ1sfeRonnmVXtp7ftVDkz_ALmqr8OnczQxCg@mail.gmail.com>
 <CAGa2bXZ8Wy7bUYgtbajr+GkpQtQEjQLMbFT2mSB5OEnLO2mgfg@mail.gmail.com> <CAL=_i_kypYpa3t06peRKwtww=cbh+KhM+iAOtotDGNaFfJBuVA@mail.gmail.com>
Date: Tue, 10 Feb 2015 15:27:37 +0900
X-Google-Sender-Auth: xtl2tNMMpVkSyR1LznFMHVaqZTs
Message-ID: <CAGa2bXbkmrRrdD29j6sVST5ZcfvMUx3TGF85fCjEQeOSCtp=Tw@mail.gmail.com>
To: Joe Watkins <pthreads@pthreads.org>
Cc: Dmitry Stogov <dmitry@zend.com>, =?UTF-8?Q?Fran=C3=A7ois_Laupretre?= <francois@tekwire.net>, 
	Stanislav Malyshev <smalyshev@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a1132f7440aaceb050eb5fec7
Subject: Re: [PHP-DEV] Design by Contract
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a1132f7440aaceb050eb5fec7
Content-Type: text/plain; charset=UTF-8

Hi Joe,

On Tue, Feb 10, 2015 at 3:16 PM, Joe Watkins <pthreads@pthreads.org> wrote:

> You need to explain how invariants are going to be inherited and executed
> in detail.
>

OK. Thank you. This wouldn't change even if syntax changes.


>
> Keep statements such as
>
> > With proper use of DbC concept, it is known *programs to be more
> robust, secure and faster*
>
> Out of the RFC, since that cannot possibly be true and is just going to
> cause people to argue about that point when it's extremely unimportant.
>

Good point.

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a1132f7440aaceb050eb5fec7--