Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:128835
Feedback-ID: i8414410d:Fastmail
Precedence: list
MIME-Version: 1.0
Date: Tue, 14 Oct 2025 08:29:24 -0500
To: "php internals" <internals@lists.php.net>
Message-ID: <5d215e02-5602-4352-95f2-d3e6116c0c7d@app.fastmail.com>
In-Reply-To: <5f3d595367cee8d7506b54a6c5cb3d78@bastelstu.be>
References: <b2f466e6-b9d8-4aec-a275-e7ae7c4b67ff@app.fastmail.com>
 <13830641-0fb9-4de9-94ed-8873045ef820@app.fastmail.com>
 <c09d39a18910d0d77b07bd0304ad3c04@bastelstu.be>
 <ea18d6d6-ad18-4bd9-82ce-4a0a1ffcae0d@app.fastmail.com>
 <c019b6d5-ba89-48cc-8a92-60c2c0e24400@bastelstu.be>
 <17c4de1b-96bd-424f-b1ed-637cfc961464@app.fastmail.com>
 <5f3d595367cee8d7506b54a6c5cb3d78@bastelstu.be>
Subject: Re: [PHP-DEV] [RFC] Partial Function Application v2
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
From: larry@garfieldtech.com ("Larry Garfield")

On Mon, Oct 13, 2025, at 4:00 PM, Tim D=C3=BCsterhus wrote:
> Hi
>
> I'll give the RFC another read at a later point, but I wanted to get=20
> something out before I forget:
>
> Am 2025-10-13 20:23, schrieb Larry Garfield:
>>> - How does it interact with `compact()`, specifically:
>>>=20
>>>      $partial =3D compact(someValue(), ?);
>>>=20
>>> Would the `?` be able to capture a variable containing the return=20
>>> value
>>> of `someValue()`?
>>=20
>> Good question!  compact(), extract(), etc. can't actually work with=20
>> PFA, because they operate on the ambient context, which PFA by design=20
>> changes.  I've updated the RFC to note three incompatible core=20
>> functions.  (The other is func_get_arg()).
>
> - `get_defined_vars()` should be added to the list (possibly more?). O=
r=20
> to make things easier: Just say everything that doesn't already work=20
> with FCC will not work with PFA either.
> - What will happen with `assert(?)`? Assert is special in that it=20
> captures the AST at compile time to render it in the error message. So=20
> specifically:
>
>      $x =3D assert(?);
>      assert(false); // How will the AssertionError look like?
>
> Best regards
> Tim D=C3=BCsterhus

I've added assert() and get_defined_vars() to the list, and relabeled it=
 to be incomplete.  I also added a note about FCC and it being the same =
list.

--Larry Garfield