Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:109751
MIME-Version: 1.0
References: <CA+kxMuQ4ZrNEC76Mi7SxqijmwzxRrHD1ATgVrPkbZicUx7=YcQ@mail.gmail.com>
 <bbab0dfc-969c-451c-836b-77a17f176be6@www.fastmail.com> <CAESVnVooQoT3QzA+Xa-Tif7icw466pwmfx0tET98tnT4y2S05w@mail.gmail.com>
 <3222673.aWWKs9F6s5@mcmic-probook>
In-Reply-To: <3222673.aWWKs9F6s5@mcmic-probook>
Date: Tue, 21 Apr 2020 14:26:24 +0200
Message-ID: <CAC5V6giDeRAFet5K+=+q9WkykjuwSqdZEgUTuckWtRvUz88YPw@mail.gmail.com>
To: =?UTF-8?Q?C=C3=B4me_Chilliet?= <come.chilliet@fusiondirectory.org>
Cc: internals@lists.php.net
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] [RFC] Mixed type
From: guilliam.xavier@gmail.com (Guilliam Xavier)

On Tue, Apr 21, 2020 at 11:10 AM C=C3=B4me Chilliet
<come.chilliet@fusiondirectory.org> wrote:
>
> Le lundi 20 avril 2020, 09:15:24 CEST Sara Golemon a =C3=A9crit :
> > use mixed =3D null|bool|int|float|string|array|object|resource;
> > use scalar =3D null|bool|int|float|string;
>
> I=E2=80=99m wondering if null should maybe be left out of these, since ?m=
ixed and ?scalar can be used for this?

For mixed, this has been discussed several times, it's defined as the
union of *all* value types (void aside), *including* null, according
to its usage in phpDoc (and in Hack, which also has a nonnull type
such that mixed is equivalent to ?nonnull, cf
https://docs.hhvm.com/hack/types/nullable-types).

For scalar, I already replied
(https://externals.io/message/109715#109723) that it should not
include null indeed (according to
https://www.php.net/manual/en/language.types.intro.php and
https://www.php.net/manual/en/function.is-scalar.php).

--
Guilliam Xavier