Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:128827
Precedence: list
MIME-Version: 1.0
Date: Mon, 13 Oct 2025 23:00:14 +0200
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Subject: Re: [PHP-DEV] [RFC] Partial Function Application v2
In-Reply-To: <17c4de1b-96bd-424f-b1ed-637cfc961464@app.fastmail.com>
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>
Message-ID: <5f3d595367cee8d7506b54a6c5cb3d78@bastelstu.be>
Content-Type: text/plain; charset=UTF-8;
 format=flowed
Content-Transfer-Encoding: 8bit
From: tim@bastelstu.be (=?UTF-8?Q?Tim_D=C3=BCsterhus?=)

Hi

I'll give the RFC another read at a later point, but I wanted to get 
something out before I forget:

Am 2025-10-13 20:23, schrieb Larry Garfield:
>> - How does it interact with `compact()`, specifically:
>> 
>>      $partial = compact(someValue(), ?);
>> 
>> Would the `?` be able to capture a variable containing the return 
>> value
>> of `someValue()`?
> 
> Good question!  compact(), extract(), etc. can't actually work with 
> PFA, because they operate on the ambient context, which PFA by design 
> changes.  I've updated the RFC to note three incompatible core 
> functions.  (The other is func_get_arg()).

- `get_defined_vars()` should be added to the list (possibly more?). Or 
to make things easier: Just say everything that doesn't already work 
with FCC will not work with PFA either.
- What will happen with `assert(?)`? Assert is special in that it 
captures the AST at compile time to render it in the error message. So 
specifically:

     $x = assert(?);
     assert(false); // How will the AssertionError look like?

Best regards
Tim Düsterhus