Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82393
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.41 as permitted sender)
MIME-Version: 1.0
Sender: yohgaki@gmail.com
In-Reply-To: <CAGa2bXaGHPMzBV2KMcroV8j6HUzC7TtFfzN6QzT5eMtHOWMLJQ@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>
 <CA+9eiLtj79MevMVg1cBSzGvfcdH=jszWym1Bf50zRsQ+94jp5w@mail.gmail.com>
 <CAGa2bXY6OO2svdcguHLEYxQ_XUHjssBjgwJ_Had+JPjFzbZ80g@mail.gmail.com>
 <CAJ26g5QT2545yKEEHD3hho_FAVzF+Vs5qsExtZqDO+RqDTZUjg@mail.gmail.com>
 <CA+9eiLu5TY=3zv8Zx+2q83pf+vviNc326S=WXXOGuwgVt=asUw@mail.gmail.com>
 <CAGa2bXb0w=SDmphk2O2WF+RcbtYhx=pMjddE5kyOBBLBSpVBeg@mail.gmail.com>
 <CAL=_i_nrrmS08tYJ==0Pe0B34Ji1ykMbE9anbDpU2KN-vBbapg@mail.gmail.com>
 <CAGa2bXaPLA0hAkxseUsAd+s+Hq60pia7t8X4DusND8r2fiFwYQ@mail.gmail.com>
 <CAL=_i_=gg+WWU+d1K-A=rdf+f2=+mBGDVC4UKqmBOsiNMMBj1g@mail.gmail.com>
 <CA+9eiLuUqbO-PG7Ur36r2ekoConurvJ2ZBr6031BYndL7+GE0g@mail.gmail.com>
 <CA+9eiLuJpDrPzSkyYm=+FSEJWVG4btvTWVejDt2V54yPRofFWA@mail.gmail.com>
 <CAL=_i_kZGFFFUy8prehtyJP_ruTZZ0nGfHrM1Sj+bsE-Y++=pg@mail.gmail.com>
 <CA+9eiLuU9FcxC5k0aK1svKeu2Ary6fGDK2cDmM7hWqRj25hiyw@mail.gmail.com> <CAGa2bXaGHPMzBV2KMcroV8j6HUzC7TtFfzN6QzT5eMtHOWMLJQ@mail.gmail.com>
Date: Wed, 11 Feb 2015 06:41:38 +0900
Message-ID: <CAGa2bXa5ebBr3yOJsGX802Gzr+0FCjdtc7_4fSpfEUjv44srng@mail.gmail.com>
To: Dmitry Stogov <dmitry@zend.com>
Cc: Joe Watkins <pthreads@pthreads.org>, Patrick Schaaf <php@bof.de>, 
	internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a1132f744e2e64e050ec2c236
Subject: Re: [PHP-DEV] Design by Contract
From: yohgaki@ohgaki.net (Yasuo Ohgaki)

--001a1132f744e2e64e050ec2c236
Content-Type: text/plain; charset=UTF-8

Hi Dmitry and Joe,

On Wed, Feb 11, 2015 at 6:29 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:

> On Tue, Feb 10, 2015 at 8:53 PM, Dmitry Stogov <dmitry@zend.com> wrote:
>
>> You are welcome to edit https://wiki.php.net/rfc/dbc2
>> It looks like we have similar views, so just make it better in a way you
>> think.
>>
>
> Looks good to me. It's much better than original. Thank you folks.
> We have related issue like how internal module incorporate with DbC.
> However
> these could be future issues.
>

It seems we are better to have scope explanation. precondition/invariant
does not
matter but postcondition is. For example,

function foo() {
   return($ret, $ret > 0 && $tmp > 0, 'Error');
   $tmp = 0;
    // do something using $tmp
}

if this is allowed or not is ambiguous.

Regards,

--
Yasuo Ohgaki
yohgaki@ohgaki.net

--001a1132f744e2e64e050ec2c236--