Hi Dmitry,
> De : Dmitry Stogov [mailto:[email protected]]
>
> 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