Re: [RFC] Union Types
| From: | Tom Worster | Date: | Thu, 14 Apr 2016 15:53:44 +0000 |
| Subject: | Re: [RFC] Union Types | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-92304@lists.php.net to get a copy of this message | ||
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_typesHi 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