Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92902 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 895 invoked from network); 28 Apr 2016 20:41:02 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 28 Apr 2016 20:41:02 -0000 Authentication-Results: pb1.pair.com header.from=fsb@thefsb.org; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=fsb@thefsb.org; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain thefsb.org designates 173.203.187.83 as permitted sender) X-PHP-List-Original-Sender: fsb@thefsb.org X-Host-Fingerprint: 173.203.187.83 smtp83.iad3a.emailsrvr.com Linux 2.6 Received: from [173.203.187.83] ([173.203.187.83:57246] helo=smtp83.iad3a.emailsrvr.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 6D/9E-28296-C5572275 for ; Thu, 28 Apr 2016 16:41:01 -0400 Received: from smtp3.relay.iad3a.emailsrvr.com (localhost.localdomain [127.0.0.1]) by smtp3.relay.iad3a.emailsrvr.com (SMTP Server) with ESMTP id 2737130069B; Thu, 28 Apr 2016 16:40:58 -0400 (EDT) X-Auth-ID: fsb@thefsb.org Received: by smtp3.relay.iad3a.emailsrvr.com (Authenticated sender: fsb-AT-thefsb.org) with ESMTPSA id 46CE5300658; Thu, 28 Apr 2016 16:40:55 -0400 (EDT) X-Sender-Id: fsb@thefsb.org Received: from [10.0.1.2] (c-66-30-62-12.hsd1.ma.comcast.net [66.30.62.12]) (using TLSv1 with cipher DES-CBC3-SHA) by 0.0.0.0:465 (trex/5.5.4); Thu, 28 Apr 2016 16:40:58 -0400 User-Agent: Microsoft-MacOutlook/14.6.3.160329 Date: Thu, 28 Apr 2016 16:40:53 -0400 To: Levi Morrison , Dmitry Stogov CC: internals Message-ID: Thread-Topic: [PHP-DEV] Re: Request to withdraw RFC's for nullable types for only return values References: In-Reply-To: Mime-version: 1.0 Content-type: text/plain; charset="UTF-8" Content-transfer-encoding: 7bit Subject: Re: [PHP-DEV] Re: Request to withdraw RFC's for nullable types for only return values From: fsb@thefsb.org (Tom Worster) Levi, From one reasonable point of view, Union and Nullable are in conflict with each other. If one prefers Union then one might argue in favor of Union over related but different proposals. When it comes to the vote, it's difficult to support both except with the argument that "I can settle for Nullable if Union doesn't pass vote", which, when you think about it, is not really supporting both. If Union goes to vote before anything else, voters will to take into account what they expect to subsequently go to vote. So your stance relative to that matters. Hence it's not really clear what you want while you continue to own both. This is how I understand Dmitry's concerns (correct me if I'm wrong, Dmitry). It would be easier to understand if you would *either* abandon Union (for 7.1) and throw your support behind Nullable *or* disown Nullable, let Dmitry champion it, and the two RFCs to vote as alternatives. I understand that you see Union as a kind of superset of Nullable (correct me if I'm wrong) but when it comes to the voting, there's no fair way to organize that. Someone's going to be unhappy. Tom On 4/28/16, 3:16 PM, "Dmitry Stogov" wrote: >Levi, I provided an implementation for your RFC on February 2015, and I >would be glad if your RFC was accepted that time. >Bit since that time you block it in respect to "Union Types" > >See conversation at PR https://github.com/php/php-src/pull/1045 > >I would be also glad if your "Nullable Types" RFC was accepted now, but I >don't trust in your intention to support it. > >________________________________________ >From: morrison.levi@gmail.com on behalf of Levi >Morrison >Sent: Thursday, April 28, 2016 10:02:20 PM >To: Dmitry Stogov >Cc: Joe Watkins; internals; Tom Worster >Subject: Re: [PHP-DEV] Re: Request to withdraw RFC's for nullable types >for only return values > >On Thu, Apr 28, 2016 at 12:54 PM, Dmitry Stogov wrote: >> Levi, I don't understand, why do you keep trying to own "Nullable >>Types" RFC, if you like completely different "Union Types". > >I don't understand; I wrote the RFC. What do you mean, "keep trying to >own" it? I wrote both Nullable Types and Union Types. Some view those >RFC's as competing, but they can also be orthogonal. I see the value >in having both.