Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:83760 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 90287 invoked from network); 25 Feb 2015 10:31:52 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 25 Feb 2015 10:31:52 -0000 Authentication-Results: pb1.pair.com header.from=leight@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=leight@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.220.169 as permitted sender) X-PHP-List-Original-Sender: leight@gmail.com X-Host-Fingerprint: 209.85.220.169 mail-vc0-f169.google.com Received: from [209.85.220.169] ([209.85.220.169:44024] helo=mail-vc0-f169.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 20/B5-62407-794ADE45 for ; Wed, 25 Feb 2015 05:31:52 -0500 Received: by mail-vc0-f169.google.com with SMTP id kv19so1038397vcb.0 for ; Wed, 25 Feb 2015 02:31:49 -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; bh=2ipOWVmSdaCdOLhWN4SCcUeqbdYLcnGEej+LnCZJQm8=; b=MqwMpLr7XagcUTFbzjynrtddr2a30Fskdi/QrEZK+m4M3Eba2mwkh1cGJBy1BeZSZV XciSyPiC51Wh2oEPUZBhmB+1kefkF9t6Y06V4wO7dkNMrNrPbay8gwDt1CMXyPOZHTOS uLoDbkeCaUaQXhHDWzzYalfh2NMfxXneLfFBL58f34u1kYDtC1s0WAADdtnht34bcsLf mRsWcHMpDFJo1mh0Nkl71geU6ByBTBrC4Q33B2Yip2WwC6/cFYWeaBkXdeKHeXRfsJaa qq+XTQW9Y4N5RCAfvUhMJgQBZoYXIH9WzxljTUiPhjppT7sxJOhhZWbd/pu9OnTvK/Gh qNKw== MIME-Version: 1.0 X-Received: by 10.52.103.75 with SMTP id fu11mr3308064vdb.5.1424860309092; Wed, 25 Feb 2015 02:31:49 -0800 (PST) Received: by 10.52.4.104 with HTTP; Wed, 25 Feb 2015 02:31:49 -0800 (PST) In-Reply-To: <0aa4f2f9eedf3c66af3463d42a9d4645@mail.gmail.com> References: <0aa4f2f9eedf3c66af3463d42a9d4645@mail.gmail.com> Date: Wed, 25 Feb 2015 10:31:49 +0000 Message-ID: To: Zeev Suraski Cc: Albert Casademont Filella , PHP Internals Content-Type: text/plain; charset=UTF-8 Subject: Re: [PHP-DEV] The Game Theory of Scalar Type Hint Voting From: leight@gmail.com (Leigh) On 25 February 2015 at 09:09, Zeev Suraski wrote: > Leigh, > > There isn't a weak-only proposal on the table. There's the original one > (dual mode) and the coercive one. Both have both strict and dynamic > elements in them. > I think that what Anthony proposed about a week or so ago, of having both > votes, and if both pass 2/3 - have another vote to choose between them > (where a simple majority wins) - makes the most sense in this uncharted > territory. > I think that opening the votes at the same time is probably a good idea. Ahoy, I know there isn't a weak-only proposal. Albert had previously suggested that a single proposal (the dual-mode one) should have a 3-way vote to pick default behaviour, instead of a simple yes/no on the whole proposal. In the spirit of game theory, this feels like a way to get people to vote for something they don't want (all votes for strict by default actually count as a vote for weak by default, which we know would take the majority). If that's not what he was referring to here, then I apologise, my mistake. Leigh.