Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:82030
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.175 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAEZPtU7wOGBjfNES1cZHb-t6AUGX=-t1STpHR8D=b9bX1yMbSw@mail.gmail.com>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
	<01d601d04146$6fbda4c0$4f38ee40$@tekwire.net>
	<CA+9eiLvQroYuUW_dVr+r5c=O=1aQ3upfahVUd1e-9qpLQRrxUw@mail.gmail.com>
	<020c01d0414b$2c3a1120$84ae3360$@tekwire.net>
	<CAEZPtU41ud0JSzfc6axnzdKCNJ48-LBCx=zuiFVpQ1mNdTK-kA@mail.gmail.com>
	<022801d0415a$027e0620$077a1260$@tekwire.net>
	<CA+9eiLtThKhB13=1O8iRgWXKkOZ0ZxAaz-0P69dnN_ngOOJtTA@mail.gmail.com>
	<CAEZPtU7wOGBjfNES1cZHb-t6AUGX=-t1STpHR8D=b9bX1yMbSw@mail.gmail.com>
Date: Fri, 6 Feb 2015 13:40:00 +0400
Message-ID: <CA+9eiLv49jtpN4rQ8w8QxvkprkvewiPUnkuYaFHw9DJUYpu-yg@mail.gmail.com>
To: Pierre Joye <pierre.php@gmail.com>
Cc: =?UTF-8?Q?Fran=C3=A7ois_Laupretre?= <francois@tekwire.net>, 
	Yasuo Ohgaki <yohgaki@ohgaki.net>, PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113399e657ed20050e68346a
Subject: Re: [PHP-DEV] Design by Contract
From: dmitry@zend.com (Dmitry Stogov)

--001a113399e657ed20050e68346a
Content-Type: text/plain; charset=UTF-8

annotations might be useful for DbC, but I doubt if they are more readable.

<<reguire(is_numeric($a) && $a > 0)>>
<<reguire(is_numeric($b) && $b > 0)>>
<<ensure($ret > 0)>>
function foo ($a, $b) {
    return $a + $b;
}

Also, to use them, we will have to develop them first (not a trivial task
as well), but may be this is a right road.

Thanks. Dmitry.



On Fri, Feb 6, 2015 at 7:00 AM, Pierre Joye <pierre.php@gmail.com> wrote:

> On Thu, Feb 5, 2015 at 11:36 PM, Dmitry Stogov <dmitry@zend.com> wrote:
> > phpdoc is annotation as well, but to split it into specific attributes we
> > have to write specialized parsers.
> > Other languages support annotation or attributes that may be used more
> > easily.
> >
> > http://docs.hhvm.com/manual/en/hack.attributes.php
>
> Exactly, phpdoc is used as annotation (or comments with some similar
> syntax) but is definitively not aimed to be annotations.
>
> --
> Pierre
>
> @pierrejoye | http://www.libgd.org
>

--001a113399e657ed20050e68346a--