Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:123746
Date: Sat, 22 Jun 2024 02:13:28 +0000
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Subject: Re: [PHP-DEV] [Early Feedback] Pattern matching
Message-ID: <GwpLDpMSpNoiCWqkfQgmN9SS95Ka3k24iswROgXM_KeEGj3slCdEzRr_KVJqjJ2D3BWyk4q3FV4QMOTFpgH8DquoNKx4FLXg3D74wmGSpC4=@gpb.moe>
In-Reply-To: <c66a9540-5701-4743-ac41-f3a34e784161@app.fastmail.com>
References: <2a6b92eb-d5e9-4a1a-9548-a068ac42ebd2@app.fastmail.com> <CAB_ngDjrZYC2ecsU9mgZ3kjMQnsy3PhYjLt8chPUZ=RDSwT9RQ@mail.gmail.com> <c66a9540-5701-4743-ac41-f3a34e784161@app.fastmail.com>
Feedback-ID: 96993444:user:proton
Precedence: bulk
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: internals@gpb.moe ("Gina P. Banyard")

On Friday, 21 June 2024 at 19:19, Larry Garfield <larry@garfieldtech.com> w=
rote:
> On Fri, Jun 21, 2024, at 3:35 PM, Brandon Jackson wrote:
> > 4. Object matching
> > Absolutely a separate rfc please. Definitely needs discussion. Could
> > intersect another potentially preferred solution like type aliases.
> > Sending one or the other into anti-pattern world.
> > Maybe a solution similar to this would be preferred:
> >=20
> > `php type MyType =3D Foo&Bar $foo =3D $bar as MyType|string`
>=20
>=20
> As noted, this is on the ADT hot path so postponing it is problematic. Es=
pecially holding it on type aliases, which have been discussed for longer t=
han this RFC has been around (nearly 4 years) and yet no actual proposal ha=
s ever been put forward. It's unwise to wait for such a feature, especially=
 when most likely implementations would dovetail well with patterns anyway.

I agree with Larry here, this is core to pattern matching in general and ne=
cessary for ADTs to make any sense (and I want them yesterday).
Moreover, I cannot see how this will conflict with anything vaguely close t=
o type aliases.

Best regards,

Gina P. Banyard