Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:84091 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 70762 invoked from network); 1 Mar 2015 03:32:59 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 1 Mar 2015 03:32:59 -0000 Authentication-Results: pb1.pair.com smtp.mail=smalyshev@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=smalyshev@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.169 as permitted sender) X-PHP-List-Original-Sender: smalyshev@gmail.com X-Host-Fingerprint: 209.85.192.169 mail-pd0-f169.google.com Received: from [209.85.192.169] ([209.85.192.169:43581] helo=mail-pd0-f169.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 01/11-63732-96882F45 for ; Sat, 28 Feb 2015 22:32:57 -0500 Received: by pdev10 with SMTP id v10so30643181pde.10 for ; Sat, 28 Feb 2015 19:32:54 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:subject:references :in-reply-to:content-type:content-transfer-encoding; bh=+j+fv6PXZUf6uIDHKd8Wl+iitTspP0mbkccqKtgiJrg=; b=UaJjSrANwv6VU6KleHFWro8IGzW7oqHDKhKnS1TxrxBVYsTJQbLivA4u47URuU3UkK ADz2yG2rf9YIqX2rGy7VIHnqX0GxdCoxj0aj0T/ZSVFBBnfdr3GVK98B0RofjxpUOZzl bfWl1aQYqBtHWXUHGZgzTZwkFdDuu0rDjV/NLlKnfQtYeXR1u0LBLlunZAlHSuRxUZLz R0qivKpD9sNodYjOsTYt6kMtkV+nKSaXTinKEfQ4EIV1V4ET92bDHzARwkGoCIbMXasw /1Po0iOpxH3nQo4Hz3D6QR97W+98myN2FsHqinE1Fik/CKNSMW5f+S4ijIHudT0RaEjo 5P4w== X-Received: by 10.68.252.198 with SMTP id zu6mr35859386pbc.102.1425180773927; Sat, 28 Feb 2015 19:32:53 -0800 (PST) Received: from Stas-Air.local (108-66-6-48.lightspeed.sntcca.sbcglobal.net. [108.66.6.48]) by mx.google.com with ESMTPSA id gi6sm7963779pbd.93.2015.02.28.19.32.52 (version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 28 Feb 2015 19:32:53 -0800 (PST) Message-ID: <54F28864.7000007@gmail.com> Date: Sat, 28 Feb 2015 19:32:52 -0800 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:31.0) Gecko/20100101 Thunderbird/31.4.0 MIME-Version: 1.0 To: Yasuo Ohgaki , "internals@lists.php.net" References: In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] [RFC] Design by Contract - Vote only RFC From: smalyshev@gmail.com (Stanislav Malyshev) Hi! > Hi all, > > https://wiki.php.net/rfc/introduce_design_by_contract > > This is vote only RFC for 2 competing Design by Contract(DbC) RFCs. > Please comment if you have any for this RFC. I don't see why the first one needs any vote. It is supposed to be implemented as an extension, so why not go and implement an extension, and put it in PECL, and then propose it for core inclusion, if it proves popular? As for the second one, do we really need the syntax change that would just move asserts to before { instead of after? If we already have zero-cost asserts, why just not use them? -- Stas Malyshev smalyshev@gmail.com