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


--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to