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 <franc...@tekwire.net> wrote: > Hi Dmitry, > > > De : Dmitry Stogov [mailto:dmi...@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 > > >
