Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:82239 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 72279 invoked from network); 9 Feb 2015 08:22:22 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 9 Feb 2015 08:22:22 -0000 Authentication-Results: pb1.pair.com header.from=pierre.php@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=pierre.php@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.42 as permitted sender) X-PHP-List-Original-Sender: pierre.php@gmail.com X-Host-Fingerprint: 209.85.192.42 mail-qg0-f42.google.com Received: from [209.85.192.42] ([209.85.192.42:43171] helo=mail-qg0-f42.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 2F/24-50460-D3E68D45 for ; Mon, 09 Feb 2015 03:22:21 -0500 Received: by mail-qg0-f42.google.com with SMTP id z107so14446599qgd.1 for ; Mon, 09 Feb 2015 00:22:18 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type:content-transfer-encoding; bh=AmRaByecS0Ng/FBukrkozGUELweG1Gsw0YXc/ystMOw=; b=frDvBK3S2YbCL7xZNKU8kth/ln90Z2eVoCjYyl8AMwsO1eOHt+KCgozj630Vfqdsyx e1KHhjwtqET55vQJDW39DoAUF/H1OoySvey733lmrS+N54AQ7h1um+S73eCOa5XJqJJ9 GaMtEIeggq9QbWw+XquBCj325yrjITGrdCc84ecYGll5NWn5I+T8sNPihR0xf4A8ip9y AwTTRSi2F6zH9u6pouNgWgNE6hM+e0q9deAhSZ6c98Js/bLHdqYrFZIDJW+xQ0UH2nhy j8IaUUL+IISJDKkOqso2moCw3GjjTv7jgdAHSQKk8yGLKQR5bdjKfPsT9lUMu7aE9Str Wa9g== MIME-Version: 1.0 X-Received: by 10.140.85.211 with SMTP id n77mr24366085qgd.17.1423470138841; Mon, 09 Feb 2015 00:22:18 -0800 (PST) Received: by 10.96.185.37 with HTTP; Mon, 9 Feb 2015 00:22:18 -0800 (PST) In-Reply-To: References: <8703B53E-2C4A-4AC6-95C4-D4F19C6D5221@ajf.me> <54D5659D.5000602@php.net> <54D7A6DB.3050209@seld.be> <0a344270616df2c33c8a1f5db2df08a0@mail.gmail.com> Date: Mon, 9 Feb 2015 15:22:18 +0700 Message-ID: To: =?UTF-8?Q?Pavel_Kou=C5=99il?= Cc: Dmitry Stogov , Matthew Leverton , Zeev Suraski , PHP internals Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Subject: Re: [PHP-DEV] [VOTE] Scalar Type Hints From: pierre.php@gmail.com (Pierre Joye) On Mon, Feb 9, 2015 at 3:19 PM, Pavel Kou=C5=99il wrot= e: > On Mon, Feb 9, 2015 at 9:04 AM, Dmitry Stogov wrote: >> this is more or less true. :( >> The proposal is presented in an unfair way to include strict typing with= out >> the ability to vote for weak types only. >> >> Despite of semantic arguments, the implementation is a bit immature and >> introduces slowdown for any code without type hints. >> >> Thanks. Dmitry. >> >> > > This is something I mentioned several times - there should be two > votes. One for weak types and one for adding the strict typing on the > weak typing as a bonus. Not bundling it into one voting, it makes it > feel "forced". I am not saying I want one or the other (I have voted and now only focus on solving possible tech issues we may find) but trying to be fair with Andrea's RFC and amazing effort: What you ask is basically part of the RFC already, your code can be strict free if you wish to, or it will be by default. Only issue is the massive misunderstanding behind the declare(strict) thing. Cheers, Pierre