Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82743
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.173 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <000a01d04939$aae34910$00a9db30$@php.net>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@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>
	<54DAFD32.3000005@gmail.com>
	<CA+9eiLtswwOqku57nHLu8fmHOwzvVcqkHTehBQOPUqQb5P2BUw@mail.gmail.com>
	<54DB0BC0.20304@gmail.com>
	<CA+9eiLsK1JJbyGu5Fxf+MNz63wb8K0661rkMm-h+vTVUZo+0SQ@mail.gmail.com>
	<54DBA801.8060403@gmail.com>
	<CAGa2bXbzDynFdNDtcdXMv7vm6yeENWryyTu9C_wd+fQCxAWHgA@mail.gmail.com>
	<CAGa2bXaATjM80ykeK4U_3Y+kU5mc_f+TXYdvmBCtgWx7zC7nwA@mail.gmail.com>
	<013801d0481d$d34c5170$79e4f450$@php.net>
	<CAGa2bXYNY_ACPb7KZH5BwgvzTOUmsy_g22DSGSOeeACOstq+HA@mail.gmail.com>
	<000a01d04939$aae34910$00a9db30$@php.net>
Date: Sun, 15 Feb 2015 23:38:29 +0400
Message-ID: <CA+9eiLsFANUV1=uV-sXmpL1gR-8Y7mBfVmsnGd=SyCFWmjf0kQ@mail.gmail.com>
To: Yasuo Ohgaki <yohgaki@ohgaki.net>
Cc: Joe Watkins <pthreads@pthreads.org>, =?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=001a113399e6359d70050f259dda
Subject: Re: [PHP-DEV] Design by Contract
From: dmitry@zend.com (Dmitry Stogov)

--001a113399e6359d70050f259dda
Content-Type: text/plain; charset=UTF-8

>  - Consider introduction of static require() as class invariant for static
> methods
>

invariant contacts are executed in object methods. I meant adding "static
invariant" to be executed on static methods.
but I think we don't need them at this point.


>
> I probably don't understand the idea correctly. Could you give some
> explanations?
>
>  - Need to discuss syntax
>
> There were many ideas for possible syntaxes, I prefer current simple
> syntax.
> Syntax is not my priority. I don't mind require{assert();},
> return{assert();}, etc.
> Since "error message" can be added and any expression is allowed, writing
> contracts
> as code may be better. We are better to avoid new keyword whenever it's
> possible.
>
>  - How to manage votes for 2 RFCs
>
> Both RFCs are large enough. How about make vote only RFC
> https://wiki.php.net/rfc/dbc_vote
>  - Explain what is DbC.
>  - Choose "Introduce Native DbC for PHP - Yes or No"
>  - For people voted for Yes, "Annotation or Code" refer
>    links to https://wiki.php.net/rfc/dbc, https://wiki.php.net/rfc/dbc2
>   - Choose "Annotation or Code"
>
>
Sounds good. Alexander should provide one more proposal based on
annotations or attributes.


>
> ==Annotation DbC Implementation==
> Dmitry, I guess it wouldn't be too hard for you to implement this RFC. How
> about annotation
> version? Can it be implemented with reasonable amount of efforts?
>

any implementation of DbC is going to be not trivial...

Thanks. Dmitry.


>
>
> Thank you all those who are contributed discussion!
> I hope you choose to have DbC support. DbC helps to achieve
> "strict/precise development"
> and "maximum performance in production" at the same time.
>
> Regards,
>
> P.S. It takes time to get used to new syntax. We may be better try to
> expose new syntax
> as much as possible. i.e. Put new syntax in mails whenever possible.
>
> Native DbC support syntax:
> class Child {
>     require($this->age < 18); // Invariant (Class state condition)
>
>     public function someMethod($input)
>         require(somethingAbout($input)) // Precondition
>         return($ret, somethingReturn($ret)) // Postcondition
>     {
>         /* Great! We are certain that caller satisfy precondition, return
>            appropriate return value and have proper class state! */
>     }
> }
>
> --
> Yasuo Ohgaki
> yohgaki@ohgaki.net
>
>
>

--001a113399e6359d70050f259dda--