Re: [PHP-DEV] [RFC] Make the GMP class final

On Jun 28, 2024, at 18:53, Gina P. Banyard <internals@gpb.moe> wrote:

Hello internals,

I would like to present an RFC to make the GMP class final:
PHP: rfc:gmp-final

This is short and to the point, and I intend to open voting for this after the mandatory discussion period of 2 weeks has happened, i.e. on the 13th of July 2024.

Best regards,

Gina P. Banyard

Is this RFC intended to compete with the “Operator Overrides -- Lite Edition” RFC, which explicitly allows extending \GMP?

https://wiki.php.net/rfc/operator_overrides_lite

(It also has a secondary vote to “disallow extending the \GMP class if this RFC fails.”

Cheers,
Ben

On Sat, Jun 29, 2024, at 03:05, Ben Ramsey wrote:

On Jun 28, 2024, at 18:53, Gina P. Banyard <internals@gpb.moe> wrote:

Hello internals,

I would like to present an RFC to make the GMP class final:

https://wiki.php.net/rfc/gmp-final

This is short and to the point, and I intend to open voting for this after the mandatory discussion period of 2 weeks has happened, i.e. on the 13th of July 2024.

Best regards,

Gina P. Banyard

Is this RFC intended to compete with the “Operator Overrides – Lite Edition” RFC, which explicitly allows extending \GMP?

https://wiki.php.net/rfc/operator_overrides_lite

(It also has a secondary vote to “disallow extending the \GMP class if this RFC fails.”

Cheers,

Ben

Yes, this is interesting. In any case, I feel like it should be final as it is currently and doesn’t affect my RFC. If this RFC passes, it only changes a bit of the language in my RFC and removes a secondary vote.

In any case, I haven’t seen any emails of people flipping tables (like some proposals out there) to my RFC announcement, so I suspect it isn’t a terrible idea and might actually have some merit; but I’m not going to get my hopes up. I rather suspect people are just ignoring it and will vote “decline” out-of-hand without thinking about it.

— Rob

On Jun 29, 2024, at 03:11, Rob Landers <rob@bottled.codes> wrote:

On Sat, Jun 29, 2024, at 03:05, Ben Ramsey wrote:

> On Jun 28, 2024, at 18:53, Gina P. Banyard <internals@gpb.moe> wrote:
>
> Hello internals,
>
> I would like to present an RFC to make the GMP class final:
> PHP: rfc:gmp-final
>
> This is short and to the point, and I intend to open voting for this after the mandatory discussion period of 2 weeks has happened, i.e. on the 13th of July 2024.
>

Is this RFC intended to compete with the “Operator Overrides -- Lite Edition” RFC, which explicitly allows extending \GMP?

PHP: rfc:operator_overrides_lite

(It also has a secondary vote to “disallow extending the \GMP class if this RFC fails.”

Yes, this is interesting. In any case, I feel like it should be final as it is currently and doesn't affect my RFC. If this RFC passes, it only changes a bit of the language in my RFC and removes a secondary vote.

In any case, I haven't seen any emails of people flipping tables (like some proposals out there) to my RFC announcement, so I suspect it isn't a terrible idea and might actually have some merit; but I'm not going to get my hopes up. I rather suspect people are just ignoring it and will vote "decline" out-of-hand without thinking about it.

If this RFC passes, it would invalidate the first voting choice in the Operator Overrides RFC, which is:

Allow extending the \GMP class and use a form of operator overloading

If this RFC passes to make the \GMP class final, and your RFC passes to allow extending the \GMP class, then I think we’re in a sort of weird limbo state. That would mean that different groups of voters participated in voting for each RFC, resulting in competing desires within the community.

We should probably combine these RFCs to avoid confusion and a conflicting state like I’ve described here.

Cheers,
Ben

On 29/06/2024 16:55, Ben Ramsey wrote:

If this RFC passes to make the \GMP class final, and your RFC passes to
allow extending the \GMP class, then I think we’re in a sort of weird
limbo state.

Presumably in that case whichever RFC passes last would have to take precedence. The community is allowed to change its mind.

On Jun 29, 2024, at 12:01, Barney Laurance <barney@barneylaurance.uk> wrote:

On 29/06/2024 16:55, Ben Ramsey wrote:

If this RFC passes to make the \GMP class final, and your RFC passes to
allow extending the \GMP class, then I think we’re in a sort of weird
limbo state.

Presumably in that case whichever RFC passes last would have to take precedence. The community is allowed to change its mind.

Sure, it’s allowed to change its mind, but if we bring this for a vote in two weeks, and then we vote a week later for the other (or even at the same time), I would see the results of those votes as conflicting viewpoints and not as the community changing its mind within the span of a few weeks.

Cheers,
Ben

Hi,

If this RFC passes to make the \GMP class final, and your RFC passes to 
allow extending the \GMP class, then I think we’re in a sort of weird 
limbo state.

Presumably in that case whichever RFC passes last would have to take precedence. The community is allowed to change its mind.

I agree with Barney. If this RFC were to be passed before the other, it would necessarily override this one, since the other proposal assumes that classes can be inherited.

And the chances of that happening are probably close to zero at this point.

Regards,

Saki

Hi,

Sure, it’s allowed to change its mind, but if we bring this for a vote in two weeks, and then we vote a week later for the other (or even at the same time), I would see the results of those votes as conflicting viewpoints and not as the community changing its mind within the span of a few weeks.

I am pretty sure there is no chance that another RFC will start voting at the same time as this one (unless they ignore the discussion and start it forcefully).

And even if they were to force a vote, it would have almost no chance of passing.

Regards,

Saki

On Jun 29, 2024, at 12:25, Saki Takamachi <saki@sakiot.com> wrote:

Hi,

Sure, it’s allowed to change its mind, but if we bring this for a vote in two weeks, and then we vote a week later for the other (or even at the same time), I would see the results of those votes as conflicting viewpoints and not as the community changing its mind within the span of a few weeks.

I am pretty sure there is no chance that another RFC will start voting at the same time as this one (unless they ignore the discussion and start it forcefully).

And even if they were to force a vote, it would have almost no chance of passing.

Regards,

Saki

Fair enough. I agree that we probably won’t find ourselves in this hypothetical conflicting state.

Cheers,
Ben