Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:115733
MIME-Version: 1.0
References: <CAOWwgpn0ZKV1ZA5pErEjwQVXsHpyb9zoA1VT7DsHC0=SeVeXJg@mail.gmail.com>
 <CADyq6sJcDRfAmB7_=LGU75xgZcEcu00PhYd9fKRqWr+35w1MOw@mail.gmail.com> <CADyq6sLCamVucZusA=sHOADgLmG51iv97sjqVhUnR+4p4w0KgA@mail.gmail.com>
In-Reply-To: <CADyq6sLCamVucZusA=sHOADgLmG51iv97sjqVhUnR+4p4w0KgA@mail.gmail.com>
Date: Sun, 15 Aug 2021 06:26:32 +0200
Message-ID: <CAAwdEzDuzF-aaM-vD3rmD1+O0ozz47Zc0pzktX0vf9tw8VV9Tg@mail.gmail.com>
To: Marco Pivetta <ocramius@gmail.com>
Cc: Nicolas Grekas <nicolas.grekas@gmail.com>, PHP Internals List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000e1d2ea05c9917d36"
Subject: Re: [PHP-DEV] [VOTE] Nullable intersection types
From: drealecs@gmail.com (=?UTF-8?Q?Alexandru_P=C4=83tr=C4=83nescu?=)

--000000000000e1d2ea05c9917d36
Content-Type: text/plain; charset="UTF-8"

On Sun, Aug 15, 2021, 04:33 Marco Pivetta <ocramius@gmail.com> wrote:

> Heyo, just a follow-up.
>
> On Fri, 13 Aug 2021, 13:30 Marco Pivetta, <ocramius@gmail.com> wrote:
>
> > Hey Nicolas,
> >
> > I voted NO on this one. I'm not opposed to nullable intersection types,
> > but not in PHP 8.1.
> >
> > Specifically, I'm waiting for the first RC releases to land in September
> > to even start looking at PHP 8.1 support for any of my projects, and
> > stability is key.
> >
> > I also am not on board with the lack of design around reflection API
> here.
> >
>
> I just re-checked the RFC, and I'm completely against the reflection design
> in here (which I previously dismissed as "oversight").
>
> An `(A&B)|null` is **not** a `ReflectionIntersectionType`, but should
> instead be a `ReflectionUnionType`.
>
>
> Therefore, adding this to the "NO" reasons, since we'll otherwise have to
> live with this mistake for many years to come.
>
>
Just to mention here, `A|null` is also not a `ReflectionUnionType` but a
`ReflectionNamedType`,
union with null already being a special case.
https://3v4l.org/lM9NJ

But the fact that these things might not be known clearly and the fact that
nullability concept wasn't discussed and agreed on for the type system in
general, I also think the feature can wait for 8.2.

Alex

--000000000000e1d2ea05c9917d36--