Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:129521
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Precedence: list
Mime-Version: 1.0 (1.0)
Subject: Re: [PHP-DEV] [RFC] Pattern Matching
Date: Wed, 3 Dec 2025 08:32:02 +0400
Message-ID: <BB5E3E2E-249F-40C6-929F-890A22C941F0@gmail.com>
References: <3b5b8394-fc68-48ff-abc9-c0e8f261fb46@app.fastmail.com>
Cc: php internals <internals@lists.php.net>
In-Reply-To: <3b5b8394-fc68-48ff-abc9-c0e8f261fb46@app.fastmail.com>
To: Larry Garfield <larry@garfieldtech.com>
From: xepozzd@gmail.com (Dmitry Derepko)


> On Dec 3, 2025, at 12:03=E2=80=AFAM, Larry Garfield <larry@garfieldtech.co=
m> wrote:
>=20
> $filtered =3D array_filter($arr, is Point(x: <10));

Btw, it looks incorrect and short closure is preferable here
array_filter($arr, fn($x) =3D> $x is Point())

Or if it works with DFA
array_filter($arr, ? is Point())

If your example illustrated a pattern as an argument I think it=E2=80=99s no=
t valid case, because a pattern is something after =E2=80=9Cis=E2=80=9D? The=
 point, enumerated types or values. And =E2=80=9Cis=E2=80=9D here is an acti=
on/function/intention to match left and right operands.=20

But kotlin style is perfectly matched here

array_filter($arr, { $it is Point() })


--=20
Best regards,=20
Dmitrii Derepko.=20
@xepozz