Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:116187
To: PHP internals <internals@lists.php.net>
Thread-Topic: [PHP-DEV] Unified ReflectionType methods
Thread-Index: AQHXtx+jBsOAc8JukE+PEAax2w5CUau/xJUg
Date: Sat, 2 Oct 2021 14:37:06 +0000
Message-ID:
 <DM5PR17MB14812ACD139468310B110EB3F9AC9@DM5PR17MB1481.namprd17.prod.outlook.com>
References:
 <CAB-BujZrArtUZa7taTKwSRg70eYsyM8hUO=iJj3bmo7mtw-XmA@mail.gmail.com>
In-Reply-To:
 <CAB-BujZrArtUZa7taTKwSRg70eYsyM8hUO=iJj3bmo7mtw-XmA@mail.gmail.com>
Accept-Language: en-CA, en-US
Content-Language: en-CA
suggested_attachment_session_id: b191bdf2-96e4-cf47-0a0f-bf0361a03d26
x-ms-exchange-messagesentrepresentingtype: 1
x-tmn: [AajMc4ZXcBJ8jwH+IXmQVgmD3EMXVq3i]
x-ms-publictraffictype: Email
x-ms-office365-filtering-correlation-id: 5536856b-667c-4804-d32f-08d985b21bdb
x-ms-traffictypediagnostic: DM6PR17MB3980:
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info:
 0aziOb57m/10Eho1NNY4Oc87eEmoRpb6faynF8DtLoDr1LyU072EzewoWA5L3wWWu/PcLafLVZ6KlRiUK0t1XpCCPlYIVFSGS1pQUI7itsaxl/DzIHuPMARL2sK1QotLUirRLExKhb2c24eCuTi2KzXHmkloOTfBr7AxfdKi4iFZ1+HDQDV2edYUmttU6EV2zxCwNcp5SrkMyfqaJGHuT6IM8ICjpw/u9wFRpZSZTOduTrUnWxr9g8No/rVF1Wvfig7v+7mbz1DzfZyuj4pYHSNF3OXr7dqEEvI6qHB4GS8LS3NPuRCrPoBkrjkYqeHkgxzL0a84gGFE08msobag6OhobZqhlSwLDmKTxsRUQKfY/FR2xUebJkJuPCk7px3SUTAqX+7ctxP5kSvhJwaVUut1UsNECZaTafTC86UTwSTvRPUY9HGbDJzrxFOoy+0r
x-ms-exchange-antispam-messagedata-chunkcount: 1
x-ms-exchange-antispam-messagedata-0:
 zLWEOGHUgQK2Ex4N2b/3PoPDIpbEgChiC67lj+Dt6Jj0JG5y5w5lyEOhanQKOVhCEtLnIRo2ypI7m1nDsLh8gF5JWwIabh3NyEjp1CjfmfDgd6KYY4L8hzPFD9N02MgXKP+NZ1fTK8WxJvWKTuMhcQ==
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: sct-15-20-3174-20-msonline-outlook-21df5.templateTenant
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-AuthSource: DM5PR17MB1481.namprd17.prod.outlook.com
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-Network-Message-Id: 5536856b-667c-4804-d32f-08d985b21bdb
X-MS-Exchange-CrossTenant-originalarrivaltime: 02 Oct 2021 14:37:06.6950
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM6PR17MB3980
Subject: Re: [PHP-DEV] Unified ReflectionType methods
From: tysonandre775@hotmail.com (tyson andre)

Hi Andreas,=0A=
=0A=
> Hello list,=0A=
> I would like to propose new methods for ReflectionType, that would=0A=
> allow treating ReflectionNamedType and ReflectionUnionType in a=0A=
> unified way.=0A=
> This would eliminate the need for if (.. instanceof) in many use cases.=
=0A=
> =0A=
> Some details can still be discussed, e.g. whether 'null' should be=0A=
> included in builtin type names, whether there should be a canonical=0A=
> ordering of type names, whether we should use class names as array=0A=
> keys, etc.=0A=
> ... =0A=
> What do you think?=0A=
=0A=
Relatedly, I also had different ideas lately about new methods for Reflecti=
onType, though of a different form.=0A=
=0A=
1. To simplify code that would check `instanceof` for all current and futur=
e types such as `never` and `mixed` and intersection types=0A=
    `ReflectionType->allowsValue(mixed $value, bool $strict =3D true): bool=
`=0A=
=0A=
   Maybe also `allowsClass(string $className, bool $strict =3D true): bool`=
 to avoid needing to instantiate values (weak casting allows Stringable->st=
ring).=0A=
2. To simplify code generation, e.g. in mocking libraries for unit testing:=
 `ReflectionType->toFullyQualifiedString(): string` (e.g. `\A|\B`) (may nee=
d to throw ReflectionType for types that can't be resolved, e.g. `parent` i=
n reflection of traits, keep `static` as is)=0A=
=0A=
    (The raw output of `__toString()` isn't prefixed with `\` (e.g. `A&B`) =
and can't be used in namespaces=0A=
=0A=
The fact that both intersection and union types (and possibility of union t=
ypes of full intersection types)=0A=
make it hard for me to believe that getBuiltinTypes and getBuiltinClasses w=
ould be used correctly when used.=0A=
=0A=
Thanks,=0A=
Tyson=