Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:114414
MIME-Version: 1.0
References: <f3d20496-c560-42b7-9a0d-8672b3cafa7d@www.fastmail.com> <df6d13a3-dfe6-44f4-a9eb-0fd065faf767@www.fastmail.com>
In-Reply-To: <df6d13a3-dfe6-44f4-a9eb-0fd065faf767@www.fastmail.com>
Date: Tue, 11 May 2021 17:59:18 +0100
Message-ID: <CA+p1FabUD-CkgGFQomdaW8iJCLWt=_b4wnrZ7bsS5X3wTgv2pQ@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000039f40a05c210d1cc"
Subject: Re: [PHP-DEV] [RFC] Partial function application
From: davidgebler@gmail.com (David Gebler)

--00000000000039f40a05c210d1cc
Content-Type: text/plain; charset="UTF-8"

On Tue, May 11, 2021 at 4:39 PM Larry Garfield <larry@garfieldtech.com>
wrote:

> It looks like the conversation has died down, and it's been two weeks, so
> pending any other notable feedback I'll open a vote on this RFC on Thursday
> or Friday.
>
> --Larry Garfield
>
>
>
 My only query / point of consideration is a very minor one for what is
otherwise an enthusiastic (non-voting) +1. In relation to one of the
examples:

function whole($one, $two) { /* ... */ }
// equivalent to calling whole(1, 2, 3)
$result = whole(?, 2)(1, 3);

Is there a risk this has the potential to be confusing? We've always had
this quirk in PHP of being able to pass extra unspecified parameters in
function calls, but with the exception of variadic functions the
expectation is that they are ignored. Arguably if I saw this:

function whole($one, $two) { /* ... */ }
$partial = whole(?, 2);
$result = partial(1, 3);

I might expect it to semantically translate to:

function partial($one) { return whole($one, 2); }

with the extra parameter, 3, ignored as per convention for any other
function receiving undefined extra params. But the RFC says this parameter
would be passed to whole(). Which is not unreasonable, but yeah I guess it
strikes me it's kind of a quirk in itself to do it that way.

-Dave

--00000000000039f40a05c210d1cc--