Everything

php

Home » Project » Newsgroups » php.internals » [VOTE] Pure intersection types »

[VOTE] Pure intersection types

php.internals

Girgias

5 years ago

Hello internals

I've opened the vote for the "Pure intersection types" RFC:
https://wiki.php.net/rfc/pure-intersection-types

It will run for 2 weeks and end on the 17th of June 2021

Best regards,

George P. Banyard

Girgias

5 years ago

On Thu, 3 Jun 2021 at 20:31, G. P. B. <george.banyard@gmail.com> wrote:

> Hello internals
>
> I've opened the vote for the "Pure intersection types" RFC:
> https://wiki.php.net/rfc/pure-intersection-types
>
> It will run for 2 weeks and end on the 17th of June 2021
>
> Best regards,
>
> George P. Banyard
>

The vote is now closed with 30 votes in favour and 3 against.
This corresponds to a 90% approval rate meaning the RFC has been accepted.

Best regards

George P. Banyard