Re: Design by Contract
| From: | Yasuo Ohgaki | Date: | Tue, 10 Feb 2015 06:27:37 +0000 |
| Subject: | Re: Design by Contract | ||
| References: | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-82332@lists.php.net to get a copy of this message | ||
Hi Joe,
On Tue, Feb 10, 2015 at 3:16 PM, Joe Watkins <pthreads@pthreads.org> wrote:
> You need to explain how invariants are going to be inherited and executed
> in detail.
>
OK. Thank you. This wouldn't change even if syntax changes.
>
> Keep statements such as
>
> > With proper use of DbC concept, it is known *programs to be more
> robust, secure and faster*
>
> Out of the RFC, since that cannot possibly be true and is just going to
> cause people to argue about that point when it's extremely unimportant.
>
Good point.
Regards,
--
Yasuo Ohgaki
yohgaki@ohgaki.net