Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114498
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>
In-Reply-To: <624d7ea6-f9e3-4f0a-baea-9da15a75fdb0@www.fastmail.com>
Date: Mon, 17 May 2021 15:41:59 +0100
Message-ID: <CAFPFaMJPBwkAukx3__56VrASXjyTU6UOWjFzHcJ_r=+RfCXP+g@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="0000000000003c846205c287999e"
Subject: Re: [PHP-DEV] [RFC] Pure intersection types
From: george.banyard@gmail.com ("G. P. B.")

--0000000000003c846205c287999e
Content-Type: text/plain; charset="UTF-8"

On Mon, 17 May 2021 at 15:17, Larry Garfield <larry@garfieldtech.com> wrote:

> On the reflection front, am I correct that we'd end up with:
>
> abstract ReflectionType
> -- ReflectionNamedType (single type)
> -- ReflectionUnionType (basically an array of named types)
> -- ReflectionIntersectionType (basically an array of named types)
>
> Where ReflectionUnionType and ReflectionIntersectionType are basically the
> same API to decompose further.  And should combined intersection/union
> types be added in the future, the impact would be that their getTypes()
> methods would return an array of some combination of ReflectionTypes,
> whereas right now you could rely on them being ReflectioNamedType.  (But
> that also means one could build ahead for that already with a little
> recursion.)
>
> Am I following that correctly?
>
> --Larry Garfield
>

This is indeed correct.

George P. Banyard

--0000000000003c846205c287999e--