Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:115500
MIME-Version: 1.0
References: <CAOWwgpm+PPhW6A5=Oi1tpdkQh9COGw5dQLE+Ek1p0BZ6T-xQsA@mail.gmail.com>
 <CAC5V6ggeLQYygZq13-Ux0VoSDiMUhAPR3Wr9AoT_oDoqu9yxgw@mail.gmail.com>
 <CAOWwgp=UhvGD2CjspXVSmDMHL6uf12sb_yS2JDUoEgON5boNbA@mail.gmail.com>
 <CA+kxMuR0B3_J1EdEpDDSq3JeNuL_Jv_tUZZywATY32itzegEdg@mail.gmail.com> <CA+hqhpfZ7H5VUZ3bgtKgtArqukehyVoXTEMdWU_ZY20hUD9-mA@mail.gmail.com>
In-Reply-To: <CA+hqhpfZ7H5VUZ3bgtKgtArqukehyVoXTEMdWU_ZY20hUD9-mA@mail.gmail.com>
Date: Mon, 19 Jul 2021 16:18:43 +0100
Message-ID: <CA+kxMuSc5Yx6XG_HdvZyBQx4=-1b2t-OD8zygLvUMS3nCdGpHw@mail.gmail.com>
To: Bruce Weirdan <weirdan@gmail.com>
Cc: PHP Internals List <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] intersection types and null for defaults, properties
 and return types
From: Danack@basereality.com (Dan Ackroyd)

On Mon, 19 Jul 2021 at 16:15, Bruce Weirdan <weirdan@gmail.com> wrote:
>
> On Mon, Jul 19, 2021 at 6:09 PM Dan Ackroyd <Danack@basereality.com> wrote:
>
> > Prediction number 2: Having a null type in the language will happen
> > before PHP 9, which will enable people to have many bike-shedding
> > discussions over ?Bar vs Bar|null.
>
> Hasn't that already happened in 8.0? It seems to work [1]
>
>   [1] https://3v4l.org/EfmJq
>

Thanks. Wasn't aware/forgot that - but it's still not usable by
itself, so is a bit of a hack.

https://3v4l.org/LL9UI

function f(): null {
    return null;
}

Fatal error: Null can not be used as a standalone type in

Dan
Ack