Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:127835
Precedence: bulk
MIME-Version: 1.0
Date: Wed, 02 Jul 2025 17:04:34 +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: <b2f466e6-b9d8-4aec-a275-e7ae7c4b67ff@app.fastmail.com>
References: <b2f466e6-b9d8-4aec-a275-e7ae7c4b67ff@app.fastmail.com>
Message-ID: <0be8afcb6da0e8df4a9f1b446fb35bde@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

Am 2025-06-28 07:06, schrieb Larry Garfield:
> Hi folks.  Arnaud and I would like to present take-2 at Partial 
> Function Application.
> 
> https://wiki.php.net/rfc/partial_function_application_v2

I've now had a *quick* look at the implementation and the following 
questions came up that the RFC does not answer (and the tests in the PR 
do not obviously answer either):

How will PFA calls appear in a stack trace and how will PFA Closures 
look like to `var_dump()`, Reflection, and to observers?

Classic FCC are 100% identical to the underlying function and thus can 
just “pretend” they are the underlying function, but that doesn't work 
for PFA. Consider the following:

     function foo(string $s, int $i) {
         var_dump($s, $i);
     }

     $f = foo("abc", ?);

     $f([]);

How will the error message for the resulting TypeError look like?

     var_dump($f); // same $f

How will the output look like?

     var_dump((new ReflectionFunction($f))->getName());
     var_dump((new ReflectionFunction($f))->getParameters());

Ditto

     is_callable($f, callable_name: $name);
     var_dump($name);

Ditto

     function foo(string $s, #[\SensitiveParameter] int $i) {
         throw new \Exception();
     }

     $f = foo("abc", ?);

     $f(123);

How will the stack trace look like? Does `#[\SensitiveParameter]` work 
properly?

Best regards
Tim Düsterhus