Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82379
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.174 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAB6YZuwkHyj6M6OH713R1mjz_dbggwoKRo2g6uNJ5Xh1nCbJNw@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>
	<54D9DE4B.7030509@lsces.co.uk>
	<CAEbg-4YTkJXMYdMpUXTRfs4R7V27NdgzynVRhWq_M3i1Wa=_WA@mail.gmail.com>
	<CA+9eiLti99R-e4EU-52ZyaNVVFgt-zbvLB_=ns=sKLMQECQoyg@mail.gmail.com>
	<CAEbg-4YvEyodvjfr45-jrMSBpE9_5b8Pofyz1zx4p-F-An2B1w@mail.gmail.com>
	<CAB6YZuwkHyj6M6OH713R1mjz_dbggwoKRo2g6uNJ5Xh1nCbJNw@mail.gmail.com>
Date: Tue, 10 Feb 2015 15:49:14 +0300
Message-ID: <CAEbg-4Yvb7seVu58AEsZ+EhJYnUBq9Qaar1g7ZZ0AtCFKYRn6A@mail.gmail.com>
To: =?UTF-8?Q?Pavel_Kou=C5=99il?= <pajousek@gmail.com>
Cc: Dmitry Stogov <dmitry@zend.com>, Lester Caine <lester@lsces.co.uk>, 
	PHP internals list <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113482666ad587050ebb5087
Subject: Re: [PHP-DEV] Design by Contract
From: lisachenko.it@gmail.com (Alexander Lisachenko)

--001a113482666ad587050ebb5087
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

2015-02-10 15:35 GMT+03:00 Pavel Kou=C5=99il <pajousek@gmail.com>:

> Hello,
>
> maybe you could try to consult your ideas with Ivan Enderlin. He
> mentioned in previous emails (for instance
> http://news.php.net/php.internals/82245) that he would prefer some
> AOP/hook-based approach to DbC as well, so it may be compatible with
> your mindset.
>

Yes, I know about Praspel, it's quite a good implementation, but for
specific case. My implementation of DbC is built on top of AOP and can be
described with only one (!) aspect and few annotations. If you are
interested in it, you could look across wiki
https://github.com/lisachenko/php-deal/wiki or even open an aspect class
itself
https://github.com/lisachenko/php-deal/blob/master/src/PhpDeal/Aspect/Contr=
actCheckerAspect.php
to see an advices that will be triggered as custom hooks before/after or
around original method invocations.

I think, that AOP-based solution is pretty nice: it's only for development
mode. Annotations are not parsed for production mode and looks like a good
documentation, this can be improved later with BDD (Gherkin) to define a
contracts in human-readable format.

@Contract\Verify("Given $amount is positive")
@Contract\Ensure("Result is changed from $old to $old+$amount")

So, it can be a good idea to discuss this topic with Ivan Enderlin. Maybe
he can help me with RFC too.

--001a113482666ad587050ebb5087--