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

2021-08-25 Thread Nicolas Grekas
Le lun. 23 août 2021 à 16:22, Larry Garfield a écrit : > On Sun, Aug 22, 2021, at 5:42 PM, Patrick ALLAERT wrote: > > > Either extra time, or having a way to influence the schedule of the > > releases. > > For now, we work with a fixed schedule and don't know (at least: me) how > > strict we

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

2021-08-23 Thread Deleu
On Thu, Aug 19, 2021 at 12:25 PM Nicolas Grekas wrote: > What a mess! I feel so disappointed by the lack of clarity of the > processes here. > > The RFC was granted a "go" by a release manager, but suddenly, in the > middle of the vote, another release manager raised an objection to this >

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

2021-08-23 Thread Larry Garfield
On Sun, Aug 22, 2021, at 5:42 PM, Patrick ALLAERT wrote: > Either extra time, or having a way to influence the schedule of the > releases. > For now, we work with a fixed schedule and don't know (at least: me) how > strict we must stick to it. > > The fixed schedule of the releases is what makes

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

2021-08-22 Thread Patrick ALLAERT
Hi Nicolas, Le jeu. 19 août 2021 à 12:25, Nicolas Grekas a écrit : > What a mess! I feel so disappointed by the lack of clarity of the > processes here. > You aren't alone and it is challenging to make that kind of decision. I would have been more confident saying it's ok if the process and

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

2021-08-19 Thread Nicolas Grekas
> > On Mon, 16 Aug 2021 at 10:04, Nikita Popov wrote: > >> On Mon, Aug 16, 2021 at 9:45 AM Joe Watkins wrote: >> >>> Morning all, >>> >>> The initial RFC was clear that nullability was not supported, however >>> that >>> doesn't seem to be have widely understood. >>> >>> When I said we should

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

2021-08-16 Thread Joe Watkins
Morning Nikita, all, The exception was granted to ratify consensus that I thought we had - and that one of the two primary votes on the current RFC seems to support. However, the RFC we got was something that contained multiple primary votes - we must consider the first two votes primary, we

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

2021-08-16 Thread Nikita Popov
On Mon, Aug 16, 2021 at 9:45 AM Joe Watkins wrote: > Morning all, > > The initial RFC was clear that nullability was not supported, however that > doesn't seem to be have widely understood. > > When I said we should move forward I did imagine that there was some > consensus about the syntax we

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

2021-08-16 Thread Joe Watkins
Please rearrange and add words as necessary, so that they makes sense :) "... however that doesn't seem to have been widely understood". Cheers Joe On Monday, 16 August 2021, Joe Watkins wrote: > Morning all, > > The initial RFC was clear that nullability was not supported, however that >

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

2021-08-16 Thread Joe Watkins
Morning all, The initial RFC was clear that nullability was not supported, however that doesn't seem to be have widely understood. When I said we should move forward I did imagine that there was some consensus about the syntax we should use if we were to support nullability. As this

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

2021-08-16 Thread Deleu
On Mon, Aug 16, 2021 at 2:22 AM Tobias Nyholm wrote: > Hey. > > > No mistake: the "pure intersection types" RFC was explicitly designed to > avoid scope creep (this RFC). > > > Just because it was intentional, does not make it less of a mistake. > I see that we have different views of this. And

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

2021-08-15 Thread Patrick ALLAERT
Le lun. 16 août 2021 à 02:04, Tobias Nyholm a écrit : > > > On 15 Aug 2021, at 16:46, Patrick ALLAERT wrote: > > Le ven. 13 août 2021 à 11:35, Nicolas Grekas a > écrit : > > Hi everyone, > > I'm happy to announce that the vote for nullable intersection types is now > open: >

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

2021-08-15 Thread Tobias Nyholm
Hey. > No mistake: the "pure intersection types" RFC was explicitly designed to > avoid scope creep (this RFC). Just because it was intentional, does not make it less of a mistake. I see that we have different views of this. And I understand that you are happy with this change, but only for

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

2021-08-15 Thread Kalle Sommer Nielsen
> Hey Patrick. > > This has been discussed already. See https://externals.io/message/115554 > Only Joe replied in there, implying an OK, however Patrick is also an RM and if he raises a concern, then that is good grounds for concern as exceptions to the

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

2021-08-15 Thread Marco Pivetta
Heyo, On Mon, 16 Aug 2021, 02:04 Tobias Nyholm, wrote: > It is to correct a mistake No mistake: the "pure intersection types" RFC was explicitly designed to avoid scope creep (this RFC).

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

2021-08-15 Thread Tobias Nyholm
> On 15 Aug 2021, at 16:46, Patrick ALLAERT wrote: > > Le ven. 13 août 2021 à 11:35, Nicolas Grekas a > écrit : > >> Hi everyone, >> >> I'm happy to announce that the vote for nullable intersection types is now >> open: >> https://wiki.php.net/rfc/nullable_intersection_types >> >> It'll

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

2021-08-15 Thread Patrick ALLAERT
Le ven. 13 août 2021 à 11:35, Nicolas Grekas a écrit : > Hi everyone, > > I'm happy to announce that the vote for nullable intersection types is now > open: > https://wiki.php.net/rfc/nullable_intersection_types > > It'll close in two weeks, on the 27th. > > Cheers, > Nicolas > Hi Nicolas, I

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

2021-08-14 Thread Alexandru Pătrănescu
On Sun, Aug 15, 2021, 04:33 Marco Pivetta wrote: > Heyo, just a follow-up. > > On Fri, 13 Aug 2021, 13:30 Marco Pivetta, 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

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

2021-08-14 Thread Marco Pivetta
Heyo, just a follow-up. On Fri, 13 Aug 2021, 13:30 Marco Pivetta, wrote: > Hey Nicolas, > > > On Fri, Aug 13, 2021 at 11:35 AM Nicolas Grekas > wrote: > >> Hi everyone, >> >> I'm happy to announce that the vote for nullable intersection types is now >> open: >>

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

2021-08-13 Thread Marco Pivetta
Hey Nicolas, On Fri, Aug 13, 2021 at 11:35 AM Nicolas Grekas wrote: > Hi everyone, > > I'm happy to announce that the vote for nullable intersection types is now > open: > https://wiki.php.net/rfc/nullable_intersection_types > > It'll close in two weeks, on the 27th. > I voted NO on this one.

[PHP-DEV] [VOTE] Nullable intersection types

2021-08-13 Thread Nicolas Grekas
Hi everyone, I'm happy to announce that the vote for nullable intersection types is now open: https://wiki.php.net/rfc/nullable_intersection_types It'll close in two weeks, on the 27th. Cheers, Nicolas