Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:122693
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Precedence: bulk
Mime-Version: 1.0 (1.0)
Subject: Re: [PHP-DEV] Proposal: AS assertions
Date: Tue, 19 Mar 2024 15:04:02 -0300
Message-ID: <C367A57D-6F68-474C-80CE-D9599A5EE89A@gmail.com>
References: <CAPyj-LDvyFuTyWap-cHQ1G0eh56qdj4S80YXVFhsgZLknmhiaA@mail.gmail.com>
Cc: internals <internals@lists.php.net>
In-Reply-To: <CAPyj-LDvyFuTyWap-cHQ1G0eh56qdj4S80YXVFhsgZLknmhiaA@mail.gmail.com>
To: Ilija Tovilo <tovilo.ilija@gmail.com>
From: deleugyn@gmail.com (=?utf-8?Q?Marco_Aur=C3=A9lio_Deleu?=)


Marco Deleu=20

> On 19 Mar 2024, at 14:51, Ilija Tovilo <tovilo.ilija@gmail.com> wrote:
>=20
> =EF=BB=BFHi Robert
>=20
>> On Tue, Mar 19, 2024 at 5:24=E2=80=AFPM Robert Landers <landers.robert@gm=
ail.com> wrote:
>>=20
>> I've been thinking about this as an RFC for awhile, but with generics
>> being far off (if at all), I'd like to propose a useful idea: reusing
>> the AS keyword in a different context.
>>=20
>> Example:
>>=20
>> $x =3D $attributeReflection->newInstance() as MyAttribute;
>>=20
>> This would essentially perform the following code:
>>=20
>> assert(($x =3D $attributeReflection->newInstance()) instanceof MyAttribut=
e);
>=20
> See https://wiki.php.net/rfc/pattern-matching#throwing_alternative. I
> believe this idea would combine nicely with pattern matching. It has
> many more uses there than just simple class type matching, and could
> even be used for things like destructuring.
>=20
> Ilija

That looks like a PHP dream. Has there been any work regarding that?=