Re: [PHP-DEV] Re: [RFC] Nullable intersection types

2021-08-12 Thread Nicolas Grekas
> On 11/08/2021 13:09, Nicolas Grekas wrote: > > > > On 10/08/2021 13:39, Nicolas Grekas wrote: > > > I will wait if I don't have the choice, but as many others > > reported, the > > > experience with 7.0 missing nullability was a pain. > > > > Apologies if you already did and

[PHP-DEV] Re: [RFC] Nullable intersection types

2021-08-12 Thread Nicolas Grekas
> > Hi everyone, > > as proposed by Nikita and Joe, I'm submitting this late RFC for your > consideration for inclusion in PHP 8.1. Intersection types as currently > accepted are not nullable. This RFC proposes to make them so. > > I wrote everything down about the reasons why here: >

Re: [PHP-DEV] Re: [RFC] Nullable intersection types

2021-08-11 Thread Rowan Tommins
On 11/08/2021 13:09, Nicolas Grekas wrote: On 10/08/2021 13:39, Nicolas Grekas wrote: > I will wait if I don't have the choice, but as many others reported, the > experience with 7.0 missing nullability was a pain. Apologies if you already did and I've forgotten, but could

Re: [PHP-DEV] Re: [RFC] Nullable intersection types

2021-08-11 Thread Nicolas Grekas
> On 10/08/2021 13:39, Nicolas Grekas wrote: > > I will wait if I don't have the choice, but as many others reported, the > > experience with 7.0 missing nullability was a pain. > > Apologies if you already did and I've forgotten, but could you please > expand on what "pain" you are referring to

[PHP-DEV] Re: [RFC] Nullable intersection types

2021-08-11 Thread Nicolas Grekas
> Hi everyone, > > as proposed by Nikita and Joe, I'm submitting this late RFC for your > consideration for inclusion in PHP 8.1. Intersection types as currently > accepted are not nullable. This RFC proposes to make them so. > > I wrote everything down about the reasons why here: >

Re: [PHP-DEV] Re: [RFC] Nullable intersection types

2021-08-10 Thread Rowan Tommins
On 10/08/2021 13:39, Nicolas Grekas wrote: I will wait if I don't have the choice, but as many others reported, the experience with 7.0 missing nullability was a pain. Apologies if you already did and I've forgotten, but could you please expand on what "pain" you are referring to here?

Re: [PHP-DEV] Re: [RFC] Nullable intersection types

2021-08-10 Thread Nicolas Grekas
> On Wed, 28 Jul 2021 at 08:29, Nicolas Grekas > wrote: > > Nullability is a special beast in PHP. We have a range of operators > > dedicated to it. That's also why I think it deserves special care, and > why > > I think it's important to have this discussion before 8.1 is out. > > Why does this

Re: [PHP-DEV] Re: [RFC] Nullable intersection types

2021-07-28 Thread Dan Ackroyd
On Wed, 28 Jul 2021 at 08:29, Nicolas Grekas wrote: > Nullability is a special beast in PHP. We have a range of operators > dedicated to it. That's also why I think it deserves special care, and why > I think it's important to have this discussion before 8.1 is out. Why does this change need to

[PHP-DEV] Re: [RFC] Nullable intersection types

2021-07-28 Thread Nicolas Grekas
as proposed by Nikita and Joe, I'm submitting this late RFC for your > consideration for inclusion in PHP 8.1. Intersection types as currently > accepted are not nullable. This RFC proposes to make them so. > > I wrote everything down about the reasons why here: >

Re: [PHP-DEV] Re: [RFC] Nullable intersection types

2021-07-23 Thread Benjamin Eberlei
On Fri, Jul 23, 2021 at 12:55 PM Mark Randall wrote: > On 23/07/2021 10:58, Nicolas Grekas wrote: > > Hi everyone, > > I wrote everything down about the reasons why here: > > https://wiki.php.net/rfc/nullable_intersection_types > > > IMO we should require brackets and forbid not using them when

[PHP-DEV] Re: [RFC] Nullable intersection types

2021-07-23 Thread Mark Randall
On 23/07/2021 10:58, Nicolas Grekas wrote: Hi everyone, I wrote everything down about the reasons why here: https://wiki.php.net/rfc/nullable_intersection_types IMO we should require brackets and forbid not using them when combining unions and intersections. These types are already going