Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92276
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 207.46.100.120 as permitted sender)
To: Levi Morrison <morrison.levi@gmail.com>, internals
	<internals@lists.php.net>
References: <CAFMT4No6yFJ4r4bWGOaLZkYdpqE_YeDiEHCecq4ATBqypeUegQ@mail.gmail.com>
Message-ID: <570F4BB4.6020709@zend.com>
Date: Thu, 14 Apr 2016 10:50:12 +0300
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.7.1
MIME-Version: 1.0
In-Reply-To: <CAFMT4No6yFJ4r4bWGOaLZkYdpqE_YeDiEHCecq4ATBqypeUegQ@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"; format=flowed
Content-Transfer-Encoding: 7bit
SpamDiagnosticOutput: 1:23
SpamDiagnosticMetadata: NSPM
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 14 Apr 2016 07:50:21.3552 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BLUPR0201MB1780
Subject: Re: [PHP-DEV] [RFC] Nullable Types
From: dmitry@zend.com (Dmitry Stogov)



On 04/14/2016 06:42 AM, Levi Morrison wrote:
> As alluded to in an earlier email today[1] I am now moving the
> Nullable Types RFC[2] to the discussion phase. In a nutshell this RFC
> proposes syntax for declaring a type to alternatively be null.
+1

The up to date implementation for return-type-hints may be found at 
https://github.com/php/php-src/pull/1851/files
Implementation for argument-type-hints is really not a problem

>
> There is a decision that needs to be made: does the question mark go
> before or after the type name?
>
>      function (?Foo $foo);
>      function (Foo? $foo);
>
> There are precedents in several languages for each position. Some
> relevant issues to where the question mark goes are noted in the
> RFC[3].

It's better to use ? position before the type, to reduce fragmentation 
with HHVM.

Thanks. Dmitry.

>
> I look forward to a helpful and meaningful discussion!
>
>    [1]: http://news.php.net/php.internals/92252
>    [2]: https://wiki.php.net/rfc/nullable_types
>    [3]: https://wiki.php.net/rfc/nullable_types#position_of
>