Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92805
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.195 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CANUQDCiyXMA4OcvYzh9BhuHx=HJST4VGmZ7F1Dwem9Yw7HoSxg@mail.gmail.com>
References: <CAFMT4Npe8hJ1HOeJB3kfN11fnmyzRGi6znuR=Ay8kHds-ogSXQ@mail.gmail.com>
	<CY1PR0201MB1786D216DB7CE6D61B61E9D7BF630@CY1PR0201MB1786.namprd02.prod.outlook.com>
	<BLU436-SMTP543725ED65FFDEA7E68832E2630@phx.gbl>
	<571F7B91.2030102@zend.com>
	<CAFMT4Nqgtki+vm-VHUsUGvPmx0CAsS6tOcfe7OTvxz5LWhJJGw@mail.gmail.com>
	<BLU436-SMTP3398BEEBCDB387DB97C64BE2630@phx.gbl>
	<CANUQDCiyXMA4OcvYzh9BhuHx=HJST4VGmZ7F1Dwem9Yw7HoSxg@mail.gmail.com>
Date: Tue, 26 Apr 2016 11:20:25 -0600
Message-ID: <CAFMT4Nqhh1=inuJ=63X1PM_tCieOghn=cTAJWZK=jZpqb338mw@mail.gmail.com>
To: Niklas Keller <me@kelunik.com>
Cc: Bob Weinand <bobwei9@hotmail.com>, Dmitry Stogov <dmitry@zend.com>, 
	internals <internals@lists.php.net>, Joe Watkins <pthreads@pthreads.org>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [RFC] Patch for Union and Intersection Types
From: morrison.levi@gmail.com (Levi Morrison)

On Tue, Apr 26, 2016 at 11:00 AM, Niklas Keller <me@kelunik.com> wrote:
> 2016-04-26 16:58 GMT+02:00 Bob Weinand <bobwei9@hotmail.com>:
>>
>> Yeah, I'd like to not allow ?Foo in any case if union types pass.
>
>
> What's the reason for that? To me, null is neither a type nor should it be.

On the contrary, our manual says:

> NULL is the only possible value of type null.

And internally it is also a distinct type.

It's been this way for a long time; we just haven't permitted `null`
as a type declaration because until now it has been useless.