Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:83769 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 6596 invoked from network); 25 Feb 2015 11:43:43 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 25 Feb 2015 11:43:43 -0000 Authentication-Results: pb1.pair.com smtp.mail=albertcasademont@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=albertcasademont@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.176 as permitted sender) X-PHP-List-Original-Sender: albertcasademont@gmail.com X-Host-Fingerprint: 209.85.217.176 mail-lb0-f176.google.com Received: from [209.85.217.176] ([209.85.217.176:38053] helo=mail-lb0-f176.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id E8/D8-62407-E65BDE45 for ; Wed, 25 Feb 2015 06:43:42 -0500 Received: by lbiz11 with SMTP id z11so3228437lbi.5 for ; Wed, 25 Feb 2015 03:43:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=WeIE5gV/H2ryCC2EiyEV12LzzJxQWC4lWijfo9M3JEg=; b=wnYdVLwObxjJl148/pDWE8Lo6XK/yzf0kFURQeZewHgLB0KqXiuszqbFCIok2tamqs zPJFUzWrJ0zeo5AazpYd0OUEGd3tcvjA1Y/L+Tha5x5LC1JTyVogIT0qOtbeakEIUgYz CfC9fZ3I55U8xaGLEuvevqyBPTY3aoP7EIQEgs7ZNjM/aFJTQOKZenfLbvrJriMPrS7I giXErvBIl7rojwHa2wxbUnSm1z5kInK6gheuEImWqpjJS4fL7vCOttR4QFdcW3LKwgv6 tWrae6By77b6ShpIk2SCLbUMVnNyWN9/2uQAHlvX/z0Ki2tc87KtSiXLl8DAWsIF+EIN pLpA== X-Received: by 10.112.170.100 with SMTP id al4mr2486347lbc.42.1424864619501; Wed, 25 Feb 2015 03:43:39 -0800 (PST) MIME-Version: 1.0 Received: by 10.112.154.194 with HTTP; Wed, 25 Feb 2015 03:43:19 -0800 (PST) In-Reply-To: <54EDB0BA.9060802@birkholz.biz> References: <0aa4f2f9eedf3c66af3463d42a9d4645@mail.gmail.com> <54EDB0BA.9060802@birkholz.biz> Date: Wed, 25 Feb 2015 12:43:19 +0100 Message-ID: To: Dennis Birkholz Cc: internals Content-Type: multipart/alternative; boundary=001a11c236867f9e2c050fe8251b Subject: Re: [PHP-DEV] The Game Theory of Scalar Type Hint Voting From: albertcasademont@gmail.com (Albert Casademont Filella) --001a11c236867f9e2c050fe8251b Content-Type: text/plain; charset=UTF-8 Yep, that's what I suggested but Leigh did see a competitive advantage for weak-type hints in any case because if strict won we would have weak hints too if I didn't use the declare option. I can see that point even though it was not made at all with the intention of favouring weak vs strict, I really don't care much, I just want them (whichever flavour) for the future JIT/AOP goodies that we may have. So yeah, I am again suggesting the same as Dennis! :) On Wed, Feb 25, 2015 at 12:23 PM, Dennis Birkholz wrote: > Hi all, > > Am 25.02.2015 um 10:09 schrieb Zeev Suraski: > > 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. > > but that is exactly what Benjamin predicted to fail according to game > theory. The only way this will work is to vote if some scalar type hints > should come in with 7.0 (with a 2/3 majority) and then have a 50%+1 vote > on which of both proposals. Otherwise the chance for either passing 2/3 > majority is virtually zero. > > Or you could create a three-way vote, both proposals together need 2/3 > majority over no-votes and the proposals that gets more than the other > is chosen. > > Greets > Dennis > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > > --001a11c236867f9e2c050fe8251b--