Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114695
MIME-Version: 1.0
References: <CAFPFaMLxAaSzeDsT=Mkt2rM5KT21tvbsC02AHg8FZuEeSywZYg@mail.gmail.com>
 <CAKuGYLRnDNtcMiefABbX7heKe2UGBF8tsWa9UZiPP1PYvHZPOg@mail.gmail.com>
 <CAFPFaMJRFH1+=pqrnM6nDRLXvKU=eZsBhm33a1S6xYmf-bS5mQ@mail.gmail.com>
 <LkGd_C00dJLp9757_UVVDjcIS5wIz7vdcoCiJCmiw2n82DERakIuU7w24uD2PMUIMre0Mw3CIdSj88_RzPqf8_PgX1xUezHYfkrp5_HDIg4=@protonmail.com>
 <CAFPFaMKLrT2P51j=gkbyiMcLhgB5HvthGF3s0j5VCByjPx--PA@mail.gmail.com>
 <624d7ea6-f9e3-4f0a-baea-9da15a75fdb0@www.fastmail.com> <CAFPFaMJPBwkAukx3__56VrASXjyTU6UOWjFzHcJ_r=+RfCXP+g@mail.gmail.com>
 <CAFPFaMJTBoXkkaeJpWTxmnpDJy-k9H+q=K+hdoJDB3PkWEmeoQ@mail.gmail.com>
In-Reply-To: <CAFPFaMJTBoXkkaeJpWTxmnpDJy-k9H+q=K+hdoJDB3PkWEmeoQ@mail.gmail.com>
Date: Wed, 2 Jun 2021 20:06:30 +0100
Message-ID: <CAFPFaMJY0vBAJ6u+d-Fg2Co1wrGm2b=QFtnQqZuoi6WgMRgS-Q@mail.gmail.com>
To: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000009d8bcb05c3cd28de"
Subject: Re: [PHP-DEV] [RFC] Pure intersection types
From: george.banyard@gmail.com ("G. P. B.")

--0000000000009d8bcb05c3cd28de
Content-Type: text/plain; charset="UTF-8"

On Mon, 31 May 2021 at 16:09, G. P. B. <george.banyard@gmail.com> wrote:

> Hello,
>
> It has been two weeks since my last email and the only thing which has
> come up are the tokenizer changes pointed out by Tyson.
> To preserve BC I've aliased T_AMPERSAND with
> T_AMPERSAND_FOLLOWED_BY_VAR_OR_VARARG
> This is also reflected in the RFC:
> https://wiki.php.net/rfc/pure-intersection-types
>
> I plan on opening voting on Wednesday.
>

As it turned out I misunderstood Tyson, and I was asked to clarify the RFC
there has been some changes to it again:

 - Addition of a "Motivation" section, which explains why Intersection are
needed and superior to Interfaces extending multiple Interfaces
 - Expand why standard types are not supported, this includes
self/static/parent
 - Split the variance rules into 2 bullet points
 - Remove the T_AMPERSAND

As such I'm postponing the start of the voting to tomorrow.

Best Regards,

George P. Banyard

--0000000000009d8bcb05c3cd28de--