Re: Mixed type-hint
| From: | Robert Korulczyk | Date: | Fri, 08 Feb 2019 11:45:04 +0000 |
| Subject: | Re: Mixed type-hint | ||
| References: | 1 2 3 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-104309@lists.php.net to get a copy of this message | ||
What definition?
Regards,
Robert Korulczyk
W dniu 08.02.2019 o 12:37, Marco Pivetta pisze:
> Mixed includes null by definition.
>
> On Fri, 8 Feb 2019, 12:21 Robert Korulczyk <robert@korulczyk.pl
> <mailto:robert@korulczyk.pl> wrote:
>
> > Without this, the mixed type-hint is basically meaningless noise, is it
> > not? About as effective is a doc-block?
>
> This mixed type seems to be meaningless by design since its main goal is to work the same
> as if it was no type-hint at all...
>
> Another thing is that including null as part of mixed is not very pragmatic - mixed could
> be used to disallow null, so it will actually work for type
> check.
>
>
>
> Regards,
> Robert Korulczyk
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>