Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92304 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 49479 invoked from network); 14 Apr 2016 15:53:54 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 14 Apr 2016 15:53:54 -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.123 as permitted sender) X-PHP-List-Original-Sender: fsb@thefsb.org X-Host-Fingerprint: 173.203.187.123 smtp123.iad3a.emailsrvr.com Linux 2.6 Received: from [173.203.187.123] ([173.203.187.123:43416] helo=smtp123.iad3a.emailsrvr.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id F3/93-25796-11DBF075 for ; Thu, 14 Apr 2016 11:53:53 -0400 Received: from smtp24.relay.iad3a.emailsrvr.com (localhost.localdomain [127.0.0.1]) by smtp24.relay.iad3a.emailsrvr.com (SMTP Server) with ESMTP id 04C8E180519; Thu, 14 Apr 2016 11:53:51 -0400 (EDT) X-Auth-ID: fsb@thefsb.org Received: by smtp24.relay.iad3a.emailsrvr.com (Authenticated sender: fsb-AT-thefsb.org) with ESMTPSA id DE9E8180507; Thu, 14 Apr 2016 11:53:50 -0400 (EDT) X-Sender-Id: fsb@thefsb.org Received: from yossy.local (c-66-30-62-12.hsd1.ma.comcast.net [66.30.62.12]) (using TLSv1.2 with cipher DHE-RSA-AES128-SHA) by 0.0.0.0:587 (trex/5.5.4); Thu, 14 Apr 2016 11:53:51 -0400 To: Levi Morrison , internals References: Message-ID: <570FBD08.90907@thefsb.org> Date: Thu, 14 Apr 2016 11:53:44 -0400 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.10; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [RFC] Union Types From: fsb@thefsb.org (Tom Worster) On 4/13/16 11:46 PM, Levi Morrison wrote: > As alluded to in an earlier email today[1] I am now moving the Union > Types RFC[2] to the discussion phase. The short summary of the RFC is > that it permits a type declaration to be one of several enumerated > types. > I look forward to a helpful and meaningful discussion! > > [1]: http://news.php.net/php.internals/92252 > [2]: https://wiki.php.net/rfc/union_types Hi Levi, Your email [1] excellently summarizes the overall historical and present context. In it you listed three specific things that 7.0 cannot represent. My RFC[3] basically argues in favor of implementing only the first of these in 7.1. I like to see this as a more conservative version of yours, preferring a more gradual introduction of these three loosenings of PHP 7.0's type features. [3] https://wiki.php.net/rfc/nullable_returns I hope you will consider this a constructive contribution to the discussion. Tom