Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92883 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 59523 invoked from network); 28 Apr 2016 17:47:46 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 28 Apr 2016 17:47:46 -0000 Authentication-Results: pb1.pair.com smtp.mail=morrison.levi@gmail.com; spf=pass; sender-id=pass Authentication-Results: pb1.pair.com header.from=morrison.levi@gmail.com; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.220.46 as permitted sender) X-PHP-List-Original-Sender: morrison.levi@gmail.com X-Host-Fingerprint: 209.85.220.46 mail-pa0-f46.google.com Received: from [209.85.220.46] ([209.85.220.46:35743] helo=mail-pa0-f46.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 89/86-28296-0CC42275 for ; Thu, 28 Apr 2016 13:47:45 -0400 Received: by mail-pa0-f46.google.com with SMTP id iv1so34829876pac.2 for ; Thu, 28 Apr 2016 10:47:44 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:in-reply-to:references:date:message-id:subject :from:to:cc; bh=oh5CEv6Jv8zAHNPEaA1KyNbl0YdM4AQvc+j2g1xUE38=; b=F4s7y+vHfwVW8UBxWFZz8b5NOZ5UtIT7Ge2HYQtk8OJBPOilzKXbuoOxCPdIWpKIOb MxeBp2IVgKyogm85J6VNSJum+fPCNVgykItq6wc9gj3zGd6Nu8J1wZuskkkoWg3q5+Dt Cwb8un6DuigSVh/IuDbvgHGpzASuKNKtotJ5AycDC7B9aPBblPA6jfXXwnKWqVVK+B/0 yTdLZ2jrLJ6wnhU6xYlEaVURvWbQpOdgsKviJVlxPTCuRTEJT+siFWrGB9p1d8twtUps Nxl9nRNyRZ5PQXvNKRdaqMEZx5X8z/K6PqngGXtn4kgvPIMT9C7bfffL3IAwtSQMTbZ8 uILw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:in-reply-to:references:date :message-id:subject:from:to:cc; bh=oh5CEv6Jv8zAHNPEaA1KyNbl0YdM4AQvc+j2g1xUE38=; b=V2I6qkmFhyzmxx7FO3QoxGIOn1g3bupBtZiESoqA1aqwReWR7Ci9roAIN7Zs2tuxHn Px3fdPPp6N1mxOxcU3WmumVGvlFQ9q3LGcQmZwWpypeL0l/c9PassYumVXSKP4nD2XMw JeeJ9rf7C6x/FXCHBrOriWE44/NF388H5vo8kzvKAp5Z0efiUbh6cAGUWnAuo68sAPdL eJUhpY3i7apatFwinsX0YQAdpK128n0YQf1UVkBb96hwQV0Jio7fbcmqSPa2WJnd+NRD kqXjIePAoQ7xJ3nHxQ3G9BdsPzOM83HYN0JkgAdAsZ3bf6LOsDMP98z9hK6sHzi5d015 +S5w== X-Gm-Message-State: AOPr4FV7rHh8Qi9qG6VssLYfUDz+EiDua/zZALW/3aJN16ggQwVJn/aPqyDEgOA7/QXpm1btUuzVOfqY8GQ/uA== MIME-Version: 1.0 X-Received: by 10.66.132.103 with SMTP id ot7mr22542739pab.27.1461865661695; Thu, 28 Apr 2016 10:47:41 -0700 (PDT) Sender: morrison.levi@gmail.com Received: by 10.66.132.79 with HTTP; Thu, 28 Apr 2016 10:47:41 -0700 (PDT) In-Reply-To: References: Date: Thu, 28 Apr 2016 11:47:41 -0600 X-Google-Sender-Auth: WwJNfhTUCoHNoetNREO0FQ5UmY0 Message-ID: To: Dmitry Stogov Cc: internals , Tom Worster Content-Type: text/plain; charset=UTF-8 Subject: Re: Request to withdraw RFC's for nullable types for only return values From: levim@php.net (Levi Morrison) On Thu, Apr 28, 2016 at 11:43 AM, Dmitry Stogov wrote: > your Nullable RFC doesn't propose working implementation. > > ________________________________________ > From: morrison.levi@gmail.com on behalf of Levi Morrison > Sent: Thursday, April 28, 2016 8:39:03 PM > To: Dmitry Stogov > Cc: internals; Tom Worster > Subject: Re: Request to withdraw RFC's for nullable types for only return values > > On Thu, Apr 28, 2016 at 11:07 AM, Dmitry Stogov wrote: >> Thanks for catching the BC break. >> Fortunately, we didn't release 7.0.6 with this problem. >> >> I see some sense in introducing that check, but changing behaviour requires RFC and definitely not allowed in minor versions. >> >> I'm not going to withdraw https://wiki.php.net/rfc/nullable_return_types >> It doesn't prohibit usage of nullable for arguments, and even sets additional question. > > In that case: are you fine with my RFCs going to vote first (and > soon)? We presently have four somewhat competing RFCs and need to work > out voting order. > > Tom: are you willing to withdraw or wait for my RFCs to vote first? It doesn't have an implementation, sure. But you already worked out return types, the basics are already there in parameter types and there's an implementation in HHVM. Do you really think this would be a blocker? There is no reason to believe that a short-hand nullable types implementation cannot be reasonably done.