Re: [RFC] Pure intersection types

From:	G. P. B.	Date:	Wed, 02 Jun 2021 19:06:30 +0000
Subject:	Re: [RFC] Pure intersection types
References:	1 2 3 4 5 6 7 8	Groups:	php.internals
Request:	Send a blank email to internals+get-114695@lists.php.net to get a copy of this message

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


   

Thread (13 messages)

• G. P. B.Tue, 23 Mar 2021 09:32:17 +0000
  • Marco PivettaTue, 23 Mar 2021 09:39:56 +0000
  • Larry GarfieldTue, 23 Mar 2021 13:14:22 +0000
    • someniatkoTue, 23 Mar 2021 14:05:41 +0000
    • G. P. B.Tue, 23 Mar 2021 14:24:03 +0000
  • Matthew BrownTue, 23 Mar 2021 19:45:48 +0000
    • G. P. B.Sat, 03 Apr 2021 12:22:05 +0000
      • Saif Eddin GmatiSat, 03 Apr 2021 20:41:09 +0000
        • G. P. B.Mon, 17 May 2021 08:58:35 +0000
          • Larry GarfieldMon, 17 May 2021 14:17:13 +0000
            • G. P. B.Mon, 17 May 2021 14:41:59 +0000
              • G. P. B.Mon, 31 May 2021 15:09:39 +0000
                • G. P. B.Wed, 02 Jun 2021 19:06:30 +0000