Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82437
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.172 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAL=_i_mAR0BEVoMakn_YgRNF3YKpyPyqkfKHDhFS6T4akPDxsg@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>
	<CAGa2bXZOyL6m+qhkA1TngaKObC3Yzsk-wy=na9=OBE5unpFnjw@mail.gmail.com>
	<CA+9eiLuaYNoiyX_N0LxWGp88W-F_iOWNcqJcJ6OMaNn_3s-ifw@mail.gmail.com>
	<CAL=_i_mAR0BEVoMakn_YgRNF3YKpyPyqkfKHDhFS6T4akPDxsg@mail.gmail.com>
Date: Wed, 11 Feb 2015 11:26:18 +0400
Message-ID: <CA+9eiLvUDi1F2Ri7Kb52zwenC4SbiAF7OCg4tqf=t2OwFAx7Ww@mail.gmail.com>
To: Joe Watkins <pthreads@pthreads.org>
Cc: Yasuo Ohgaki <yohgaki@ohgaki.net>, Patrick Schaaf <php@bof.de>, internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11c20e52635882050ecaeb4e
Subject: Re: [PHP-DEV] Design by Contract
From: dmitry@zend.com (Dmitry Stogov)

--001a11c20e52635882050ecaeb4e
Content-Type: text/plain; charset=UTF-8

I think we should just repeat the related D semantic.
It must be defined in contracts inheritance rules.

What if we have contracts for prototype method in parent class and
interface?
Should we still validate contracts of parent and interface if we add our
owns?
etc.

Thanks. Dmitry.

On Wed, Feb 11, 2015 at 10:08 AM, Joe Watkins <pthreads@pthreads.org> wrote:

> D has them:
>
> http://dlang.org/interface.html#interface-contracts
>
> Maybe we could allow pre/post contracts but invariants don't make sense on
> interfaces.
>
> The question is, do we want to make them always available when possible,
> or do we want to make them available where it seems most useful and or
> least complex ?
>
> I prefer the latter, everyone else ?
>
> Cheers
> Joe
>
> On Wed, Feb 11, 2015 at 7:02 AM, Dmitry Stogov <dmitry@zend.com> wrote:
>
>> I think we can't support contracts on interfaces and abstract methods.
>> How D works?
>>
>> Thanks. Dmitry.
>>
>> On Wed, Feb 11, 2015 at 1:56 AM, Yasuo Ohgaki <yohgaki@ohgaki.net> wrote:
>>
>>> 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.
>>>>
>>>
>>> A little more clarification,  following interface definition is allowed
>>> or not?
>>>
>>> interface Some {
>>>
>>>   require($this->last_result > 1000); // Force classes to have
>>> $this->result
>>>
>>>   function bar($a, $b)
>>>      require($a > $b)
>>>      return($ret, $ret > 1000);
>>>
>>>   function getLastResult()
>>>      return($ret, $this->last_result === $ret);
>>>
>>> }
>>>
>>> I suppose it is supported, but it may be better to be explicit.
>>>
>>> Regards,
>>>
>>> --
>>> Yasuo Ohgaki
>>> yohgaki@ohgaki.net
>>>
>>
>>
>

--001a11c20e52635882050ecaeb4e--