Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119404
Feedback-ID: i8414410d:Fastmail
User-Agent: Cyrus-JMAP/3.9.0-alpha0-85-gd6d859e0cf-fm-20230116.001-gd6d859e0
Mime-Version: 1.0
Message-ID: <d4e6e00b-03f1-47aa-b852-b54ae53df454@app.fastmail.com>
In-Reply-To: <ca533129-a6fa-4193-a186-0382e36c2d2e@app.fastmail.com>
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>
Date: Mon, 23 Jan 2023 11:31:26 -0600
To: "php internals" <internals@lists.php.net>
Content-Type: text/plain
Subject: Re: [PHP-DEV] Introduce the abiltiy to use the first-call-callable syntax on
 non-static methods, statically
From: larry@garfieldtech.com ("Larry Garfield")

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) => $s->beep());

Now you're definitely in the realm of PFA, pipes, and that kind of functionality.  And, sadly, Internals has shown a great deal of resistance to that kind of functionality.  I have a user-space implementation of pipes that includes utilities to do something similar[1], but most functional languages 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 controversial.

--Larry Garfield

[1] https://github.com/Crell/fp/blob/master/src/object.php#L28