Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119405
MIME-Version: 1.0
References: <8f530a4a-bf48-4259-877e-16ebf8082936@app.fastmail.com>
 <88a59c46-9261-43f1-874d-ffc2f9caff32@app.fastmail.com> <99bc38dc-3d62-4a1e-a99c-e5daab3d779f@app.fastmail.com>
 <CAPzBOBM8v9V=Rthz8mJ1rUBhjDUwiDzf=GLoZAJtTzMgwAOPKA@mail.gmail.com>
 <a515b224-edb3-4236-95d9-16baec12df20@app.fastmail.com> <CADK1yXJ3UwSbpXdvqzaWRmzS=2Joa0kjp0Gg5jUM-9EpQdOt3g@mail.gmail.com>
 <ca533129-a6fa-4193-a186-0382e36c2d2e@app.fastmail.com> <d4e6e00b-03f1-47aa-b852-b54ae53df454@app.fastmail.com>
In-Reply-To: <d4e6e00b-03f1-47aa-b852-b54ae53df454@app.fastmail.com>
Date: Mon, 23 Jan 2023 19:22:43 +0100
Message-ID: <CAPzBOBMKU9OB=rmQPmFTFy+GGVpVoTCsgaRdpdZYZKy3ecL39g@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Subject: Re: [PHP-DEV] Introduce the abiltiy to use the first-call-callable
 syntax on non-static methods, statically
From: landers.robert@gmail.com (Robert Landers)

On Mon, Jan 23, 2023 at 6:31 PM Larry Garfield <larry@garfieldtech.com> wro=
te:
>
> On Mon, Jan 23, 2023, at 10:53 AM, Ollie Read wrote:
> > There's definitely similarity, but I would say it sits somewhere
> > between the two. Rather than reference a partial method call, or create
> > a closure for a method, you're delaying a method call. Or rather,
> > referencing a method. We have the ::class pseudo property, so I see
> > this like an equivalent, but for methods.
>
> So what you're really looking for is a shorter way to write this:
>
> foo(fn(Str $s) =3D> $s->beep());
>
> Now you're definitely in the realm of PFA, pipes, and that kind of functi=
onality.  And, sadly, Internals has shown a great deal of resistance to tha=
t kind of functionality.  I have a user-space implementation of pipes that =
includes utilities to do something similar[1], but most functional language=
s I know also don't have a really strong native way to "turn around" a call=
 like that.
>
> I'd love a solution for that, but so far it has proven both elusive and c=
ontroversial.
>
> --Larry Garfield
>
> [1] https://github.com/Crell/fp/blob/master/src/object.php#L28
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: https://www.php.net/unsub.php
>

Speaking of partial application, it'd be amazing if it were available
with the current closure syntax:

$func =3D fn($x, $y, $z) =3D> echo $x + $y + $z;
$plus1 =3D $func(..., 1);
$plus2n1 =3D $func(2, 1, ...);

$a =3D $plus1(1, 2);
$b =3D $plus2n1(5);

I spent a few days last summer trying this out, but couldn't get the
grammar parser to accept it. I think I have a local branch if someone
would be willing to work on it with me. At least point me in the right
direction. I don't have much free time these days, but it is certainly
doable.

Robert Landers
Software Engineer
Utrecht NL