Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:128858
Precedence: list
MIME-Version: 1.0
Date: Fri, 17 Oct 2025 10:17:09 +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: <5d215e02-5602-4352-95f2-d3e6116c0c7d@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>
 <5f3d595367cee8d7506b54a6c5cb3d78@bastelstu.be>
 <5d215e02-5602-4352-95f2-d3e6116c0c7d@app.fastmail.com>
Message-ID: <abaefbbbafb9f98e3ab72396aafed57e@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-10-14 15:29, schrieb Larry Garfield:
> 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.

assert() *is* compatible with FCC:

     <?php
     $f = assert(...);
     $f(1 < 0);

This will print:

     Fatal error: Uncaught AssertionError in /tmp/test.php:3

without any stringified expression. I assume it will be the same with 
PFA then? Or will that print something like this:

     Uncaught AssertionError: assert(?) in /tmp/test.php:4

--------------------

Some more notes:

1.

The desugaring in the RFC shows non-static Closures only. This makes 
sense to me for simplicity. The RFC should however explicitly specify 
whether or not the resulting Closures will be static Closures or not (or 
which conditions need to folks for them to be static). This is important 
to know, because non-static Closures might keep objects alive for longer 
than necessary or expected.

2.

I am noticing that the error messages are quite inconsistent with 
existing error messages:

     not enough arguments or placeholders for application of stuff, 1 
given and at least 4 expected"

vs

     json_encode() expects at least 1 argument, 0 given

So it should probably be:

     Partial application of json_encode() expects at least 1 argument or 
placeholder, 0 given

or something similar. Can you please double-check all the error messages 
in the implementation for consistency with existing error messages?

Best regards
Tim Düsterhus