Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82333 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 7773 invoked from network); 10 Feb 2015 06:29:59 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 10 Feb 2015 06:29:59 -0000 Authentication-Results: pb1.pair.com smtp.mail=pthreads@pthreads.org; spf=permerror; sender-id=unknown Authentication-Results: pb1.pair.com header.from=pthreads@pthreads.org; sender-id=unknown Received-SPF: error (pb1.pair.com: domain pthreads.org from 209.85.192.178 cause and error) X-PHP-List-Original-Sender: pthreads@pthreads.org X-Host-Fingerprint: 209.85.192.178 mail-pd0-f178.google.com Received: from [209.85.192.178] ([209.85.192.178:37866] helo=mail-pd0-f178.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 7A/46-47508-665A9D45 for ; Tue, 10 Feb 2015 01:29:59 -0500 Received: by pdbfl12 with SMTP id fl12so12183990pdb.4 for ; Mon, 09 Feb 2015 22:29:55 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc:content-type; bh=fyng+DiXIuD7B/vn8vby5rp8fxr5Vr3hGyMRH3ydhM8=; b=RQD0z083X6t2QYMvx6iSd8ZXMZrUc9gl9yX05YEmxn/LsfOn//JzvRsVeB8+YrYNSI gMZ3ed5cg9QwrhXjPdih47zVdi5gAdYxD7jhCxG5JplosYsUF1lYsY6nN/NRmFRpcuhv UreWLURpVdzUkqnsW3/lyNL0RBxAVmLWHfENMkCFsmYmJjp5KVUH1WqBUpKQoiiUngjG jtxqqqjxaKWJbLbTOPdYXwyJkYjNfWy3kSdKGhyutQZSeAv8Qs1PbNFaUbajJ+DrbUan 71Gx6TKhXbtsK8n5yshOkfpMnEgdV6BPVDYzXCVQJPdcTi/UAl0zQKzPjTD97npSIxMN aAxw== X-Gm-Message-State: ALoCoQlT2u0Y9MyvYL+XrJwhATKI/C88QovxQT9z07YfQ84YH0spgxVsmK1z5g7xLYJhZ+iAnRfR MIME-Version: 1.0 X-Received: by 10.70.124.163 with SMTP id mj3mr34715807pdb.110.1423549795350; Mon, 09 Feb 2015 22:29:55 -0800 (PST) Received: by 10.70.49.100 with HTTP; Mon, 9 Feb 2015 22:29:55 -0800 (PST) X-Originating-IP: [109.145.22.92] In-Reply-To: References: <54D7ED22.3080001@gmail.com> Date: Tue, 10 Feb 2015 06:29:55 +0000 Message-ID: To: Yasuo Ohgaki Cc: Dmitry Stogov , =?UTF-8?Q?Fran=C3=A7ois_Laupretre?= , Stanislav Malyshev , PHP Internals Content-Type: multipart/alternative; boundary=001a11c28f6cdf52dc050eb60328 Subject: Re: [PHP-DEV] Design by Contract From: pthreads@pthreads.org (Joe Watkins) --001a11c28f6cdf52dc050eb60328 Content-Type: text/plain; charset=UTF-8 > Joe's idea was to use Interface for invariant condition grouping. It wasn't, it was to use "require" at the class declaration, using it in the class body is better still ... Cheers Joe On Tue, Feb 10, 2015 at 6:27 AM, Yasuo Ohgaki wrote: > Hi Joe, > > On Tue, Feb 10, 2015 at 3:16 PM, Joe Watkins > 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 > --001a11c28f6cdf52dc050eb60328--