Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92817
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.220.66 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <571FC2AF.8060003@fleshgrinder.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>
	<BLU436-SMTP1905AEB1B7AE26BD8994969E2630@phx.gbl>
	<CANUQDChgmVnVxMZ2q2=Rh-0ZExvRLLaTn0DXYD5x1g3DkMt0BA@mail.gmail.com>
	<BLU436-SMTP1424B283C35D08616B8AF2AE2630@phx.gbl>
	<571FC2AF.8060003@fleshgrinder.com>
Date: Tue, 26 Apr 2016 13:40:38 -0600
Message-ID: <CAFMT4NrLHjMhyPy6fEx1cy9wkJeBZuy5eCngLCuJL6WUy0uooA@mail.gmail.com>
To: internals <internals@lists.php.net>
Cc: Bob Weinand <bobwei9@hotmail.com>, Niklas Keller <me@kelunik.com>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] [RFC] Patch for Union and Intersection Types
From: morrison.levi@gmail.com (Levi Morrison)

On Tue, Apr 26, 2016 at 1:34 PM, Fleshgrinder <php@fleshgrinder.com> wrote:
> On 4/26/2016 9:13 PM, Bob Weinand wrote:
>> There's undefined (=3D not a value) and there's the value null. We just =
don't expose undefined to userland. [You see it when accessing undefined va=
riables, which PHP converts to null with a notice for example.]
>>
>> Null is definitely a value. You can pass it around, reflect on it, assig=
n it etc..
>> And as it is a value, it also has a type, which is null.
>>
>> Null is not special, it just has specific behavior, like any other primi=
tive type has. The only special thing is that it's allowed as a default val=
ue with function (Foo $foo =3D null), but this should be somewhen deprecate=
d and removed once we have proper null unions.
>>
>> If you want to continue arguing, please open a new thread, but don't sid=
e-track this thread to much, please.
>>
>> Bob
>>
>
> Null is a type, no argument there!
>
> Deprecation of null as default value makes no sense, nor does it make
> sense to deprecate 42 as default value. ;)
>
> --
> Richard "Fleshgrinder" Fussenegger
>

I think he meant to post a different case:

    function (Foo $foo =3D null, $concrete_param);

This is based on a conversation I've had with him elsewhere.