Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:72065 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 24913 invoked from network); 3 Feb 2014 10:00:41 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 3 Feb 2014 10:00:41 -0000 Authentication-Results: pb1.pair.com header.from=yohgaki@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=yohgaki@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.173 as permitted sender) X-PHP-List-Original-Sender: yohgaki@gmail.com X-Host-Fingerprint: 209.85.217.173 mail-lb0-f173.google.com Received: from [209.85.217.173] ([209.85.217.173:57489] helo=mail-lb0-f173.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id D1/61-18355-7C86FE25 for ; Mon, 03 Feb 2014 05:00:40 -0500 Received: by mail-lb0-f173.google.com with SMTP id y6so5234262lbh.32 for ; Mon, 03 Feb 2014 02:00:36 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:from:date:message-id :subject:to:cc:content-type; bh=e3O8SD0YyqZFqxDgjk/AoBhQO0+nimzxLVzDDO6s9bA=; b=TeWTs4HbH80z6sjyR96X+31imIWgkjAJGV4H2BDTGwESq4SFpVkle5fDbF3e/PXWoP ZcnCmtGWWgEjpOf3VwxDiMRVCIVbG82vNE+MWqh7qT0juJc+DX0CIZ2KTMAKr9SaDK69 Iyc75JfAKZzn0RMyhV9R404chTuG+Fr+wtetLT6ug/KAPcFfCtCQGnNLm81LEjus7m79 8+p5bYmeK00dxpNqK1gBvNPEozmlOSB4RKSvRvKdFeW5A04sXMaotwTU0jNURCk09eKn Dhpk3tjuhIvRasDZPE4bP4O67zhdtF30FOnezScjz4idPQW5QE/T35QFPX6bgh6raK+o Ratg== X-Received: by 10.112.155.202 with SMTP id vy10mr2287408lbb.31.1391421636304; Mon, 03 Feb 2014 02:00:36 -0800 (PST) MIME-Version: 1.0 Sender: yohgaki@gmail.com Received: by 10.112.199.37 with HTTP; Mon, 3 Feb 2014 01:59:55 -0800 (PST) In-Reply-To: References: <52EE2B1D.7000307@pthreads.org> <52EEA7BE.4050500@sugarcrm.com> <52EEF636.7010505@pthreads.org> <52EF5588.6010902@sugarcrm.com> Date: Mon, 3 Feb 2014 18:59:55 +0900 X-Google-Sender-Auth: cadYSaMEr6NZqVBkqDH5btFzdlU Message-ID: To: Pierre Joye Cc: Stas Malyshev , Joe Watkins , PHP internals Content-Type: multipart/alternative; boundary=089e01228d685d652904f17d98c1 Subject: Re: [PHP-DEV] RFC: expectations/assertions From: yohgaki@ohgaki.net (Yasuo Ohgaki) --089e01228d685d652904f17d98c1 Content-Type: text/plain; charset=UTF-8 Hi Pierre, On Mon, Feb 3, 2014 at 6:11 PM, Pierre Joye wrote: > I also discussed with a couple of developers being intensively > involved in testing tools and framework for php and the consensus is > that they do not need it for the large majority. A minority even > considers this feature as not really good, assert never was a good > thing to use (I never used for example). > For testers and test tools developers, or even framework developer, assertion may not be important. Framework may have contract via annotations. However, it is important for developers who is not rely on framework to make sure data is processed as developer expects. It would be important for portable library developers especially. Since they do not want to rely on specific frameworks nor they cannot assume user tests/code are valid one. Assertion works perfectly for portable library developers to achieve both performance and reliability. Assertion is useful for basic form of DbC. DbC could achieve fast, yet reliable applications. Extensive use of assertion is required if developer choose to do so. It is important to remove assertion overheads from production code. Therefore, this RFC is valuable people who care about DbC and prefer to use light weight frameworks like myself. Regards, -- Yasuo Ohgaki yohgaki@ohgaki.net --089e01228d685d652904f17d98c1--