Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114493
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>
In-Reply-To: <LkGd_C00dJLp9757_UVVDjcIS5wIz7vdcoCiJCmiw2n82DERakIuU7w24uD2PMUIMre0Mw3CIdSj88_RzPqf8_PgX1xUezHYfkrp5_HDIg4=@protonmail.com>
Date: Mon, 17 May 2021 09:58:35 +0100
Message-ID: <CAFPFaMKLrT2P51j=gkbyiMcLhgB5HvthGF3s0j5VCByjPx--PA@mail.gmail.com>
To: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000022585c05c282cde4"
Subject: Re: [PHP-DEV] [RFC] Pure intersection types
From: george.banyard@gmail.com ("G. P. B.")

--00000000000022585c05c282cde4
Content-Type: text/plain; charset="UTF-8"

Hello internals,

As we are getting closer to feature freeze I want to move this proposal
forward.
The RFC is now also on the wiki:
https://wiki.php.net/rfc/pure-intersection-types

Composite types are left out of scope as it seems they should be handled
with grouping (e.g. (A&B) | C ) and not relying on the precedence of the
union operator.

It should also be noted that to get this working there is some parser
hackery done to circumvent the fact the it cannot resolve the ambiguity
between & for an intersection type and & for by-ref arguments.

Best regards,

George P. Banyard

--00000000000022585c05c282cde4--