Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:81925
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.174 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <01d601d04146$6fbda4c0$4f38ee40$@tekwire.net>
References: <CA+9eiLuNjTa8JzBgnZE5iuv5BZ4Kw4Ehk1ivxPUetNSmZ43JMw@mail.gmail.com>
	<01d601d04146$6fbda4c0$4f38ee40$@tekwire.net>
Date: Thu, 5 Feb 2015 17:41:02 +0400
Message-ID: <CA+9eiLvQroYuUW_dVr+r5c=O=1aQ3upfahVUd1e-9qpLQRrxUw@mail.gmail.com>
To: =?UTF-8?Q?Fran=C3=A7ois_Laupretre?= <francois@tekwire.net>
Cc: Yasuo Ohgaki <yohgaki@ohgaki.net>, PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=20cf307d048276d95a050e577402
Subject: Re: [PHP-DEV] Design by Contract
From: dmitry@zend.com (Dmitry Stogov)

--20cf307d048276d95a050e577402
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Yeah, this may work.
The only problem, that it looks not native and defines additional language
for constraints.
I don't talk it's wrong. Both approaches may make sense, but of course, we
have to select one.

Thanks. Dmitry.

On Thu, Feb 5, 2015 at 4:19 PM, Fran=C3=A7ois Laupretre <francois@tekwire.n=
et>
wrote:

> Hi Dmitry,
>
> > De : Dmitry Stogov [mailto:dmitry@zend.com]
> >
> > Following our conversation, I tried to imagine how DbC should look like
> in
> > PHP from user perspective. Finally, I was influenced by the semantic
> > proposed in D, and syntax proposed for Java. So, these are my initial
> > thoughts:
>
> Please have a look at https://wiki.php.net/rfc/dbc, just the beginning,
> up to 'Pre-conditions'. It contains 2 examples. This is not D syntax, whi=
le
> functionally similar,  because I want to preserve BC and provide built-in
> checks on phpdoc declared types.
>
> Cheers
>
> Fran=C3=A7ois
>
>
>

--20cf307d048276d95a050e577402--