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çois Laupretre <[email protected]>
wrote:
> 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
>
>
>