RE: [PHP-DEV] Design by Contract
| From: | François Laupretre | Date: | Thu, 05 Feb 2015 13:19:55 +0000 |
| Subject: | RE: [PHP-DEV] Design by Contract | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-81922@lists.php.net to get a copy of this message | ||
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, while
functionally similar, because I want to preserve BC and provide built-in checks on phpdoc declared
types.
Cheers
François