Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82799 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 45394 invoked from network); 16 Feb 2015 09:47:16 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 16 Feb 2015 09:47:16 -0000 Authentication-Results: pb1.pair.com smtp.mail=zeev@zend.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=zeev@zend.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.223.170 as permitted sender) X-PHP-List-Original-Sender: zeev@zend.com X-Host-Fingerprint: 209.85.223.170 mail-ie0-f170.google.com Received: from [209.85.223.170] ([209.85.223.170:46243] helo=mail-ie0-f170.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 1D/3A-05176-3ACB1E45 for ; Mon, 16 Feb 2015 04:47:15 -0500 Received: by iecvy18 with SMTP id vy18so32680889iec.13 for ; Mon, 16 Feb 2015 01:47:13 -0800 (PST) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:references:in-reply-to:mime-version :thread-index:date:message-id:subject:to:cc:content-type; bh=JHoi5eUbT18ZsgMqFKZHm0zGqygdaH4tlLS/z46/G5Q=; b=e+j5E0Gu5FNlr8ifLtpCunEKRrDONE5jw8X1Xia5603x+OKC0CPpaSsaKMaytyIhR2 lfJmzvyJYPGp6TE4oQO56QQWAM4rz4VLBIJvrAEhuh9LRFCKyJfVj2XePburx3CKYiQV j/vJ4rjdk4AzhsPj2tWbMfCaO4uGiC1Ebd37nmPh7KDNzCArYDfQzqVqhg/4CbcGZZu+ nooSwadSnfxT+lsudR59kJc/7T/llrcxAnsvqqfAOGwYvFUV+ou+VQeSZkLQW/vM9Rkd CQyzlcMCZicrIP2cns99rMpzhimbVO90tYgHz3WdGFzu4rtUTVLoxejDRZl9YL97a6dS o6sw== X-Gm-Message-State: ALoCoQngyP62xOkWefE0uyIwwyfCho/ePE0KhaffCCIB1so3QSYz6dKN4z2DM4bc3K7qWl84XUfRYbXFVWv3FdOHWIc9L0ZTk1GrPT99kyOZEFFHJYNh+jrK4q8GhgC7qufNY8aYifCkDh5c/5BkOVggnypLugRMGw== X-Received: by 10.50.78.131 with SMTP id b3mr20350562igx.0.1424080033253; Mon, 16 Feb 2015 01:47:13 -0800 (PST) References: In-Reply-To: MIME-Version: 1.0 X-Mailer: Microsoft Outlook 14.0 Thread-Index: AQGNGzXGu4fPLND/ZrvYPydaw1WwEAGoPH1YnWwitiA= Date: Mon, 16 Feb 2015 11:47:12 +0200 Message-ID: <7cdf0e784067816a6feee94d867ff7e3@mail.gmail.com> To: Yasuo Ohgaki , Joe Watkins Cc: PHP internals Content-Type: text/plain; charset=UTF-8 Subject: RE: [PHP-DEV] RFC: Expectations From: zeev@zend.com (Zeev Suraski) > -----Original Message----- > From: yohgaki@gmail.com [mailto:yohgaki@gmail.com] On Behalf Of Yasuo > Ohgaki > Sent: Monday, February 16, 2015 11:45 AM > To: Joe Watkins > Cc: PHP internals > Subject: Re: [PHP-DEV] RFC: Expectations > > Hi Joe, > > On Mon, Feb 16, 2015 at 6:37 PM, Joe Watkins > wrote: > > > I've had mostly negative feedback on the design-by-contract idea, > > maybe it's a step too far. > > > > I think introducing strict type safety for DbC like static/compiled > languages is > too far. I agree. > > The expectations RFC in its current form proposes that we introduce > > zero-cost assertions, which are compatible with the current assertion > > API. > > > > Since this has been in discussion for quite some time, Dmitry and > > I propose that the patch is rewritten for PHP7 and we get to voting as > > quickly as we are able. > > > > Please review the RFC, and provide feedback, if there are no > > strong objections we will go ahead with a vote when the patch is > > ready, in the coming days. > > > > Big +1 > > Regards, From me as well. Zeev