Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:119410
Feedback-ID: i8414410d:Fastmail
User-Agent: Cyrus-JMAP/3.9.0-alpha0-85-gd6d859e0cf-fm-20230116.001-gd6d859e0
Mime-Version: 1.0
Message-ID: <f9df091f-15c0-4469-b657-b96e4321e763@app.fastmail.com>
In-Reply-To: 
 <CA+kxMuRTFvMwCnYbs_CWszESULRENKu-ndK3U+b5tMX96HmJ=w@mail.gmail.com>
References: <8f530a4a-bf48-4259-877e-16ebf8082936@app.fastmail.com>
 <CA+kxMuQWYqE-LMuQPU66xK1DAZNOdV_-A677oSKyPzhJeEZFpQ@mail.gmail.com>
 <9c97b0b1-e17e-4eec-8cf5-fad86aca2da6@app.fastmail.com>
 <CA+kxMuRTFvMwCnYbs_CWszESULRENKu-ndK3U+b5tMX96HmJ=w@mail.gmail.com>
Date: Mon, 23 Jan 2023 17:03:04 -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 3:52 PM, Dan Ackroyd wrote:
> On Mon, 23 Jan 2023 at 20:51, Larry Garfield <larry@garfieldtech.com> wrote:
>>
>> On Mon, Jan 23, 2023, at 12:32 PM, Dan Ackroyd wrote:
>>
>> >
>> > $fnConstructor = Closure::fromClassConstructor(Zoq::class);
>> > // signature of $fnConstructor is the same as `function(Fot $fot): Zoq`
>> >
>> > Or for individual methods:
>> >
>> > $fnMethod = Closure::fromClassMethod(Zoq::class, 'Pik');
>> > // signature of $fnMethod is the same as `function(Zoq $zoq, string
>> > $zebranky): Frungy`
>>
>> I don't think that actually helps.  If you have the object already,
>
> Neither of new functions I was suggesting have the object already.
> Only the type.
>
>> If you do not have the object already, then we run back into the issue
>> I pointed out before where we need to differentiate a bindable from
>> needs-binding callable,
>
> That's not what I suggesting.
>
> Danack wrote:
>>
>> $fnConstructor = Closure::fromClassConstructor(Zoq::class);
>> signature of $fnConstructor is the same as `function(Fot $fot): Zoq`
>
> That doesn't need a binding at all.
>
> Danack wrote:
>>
>> $fnMethod = Closure::fromClassMethod(Zoq::class, 'Pik');
>> signature of $fnMethod is the same as `function(Zoq $zoq, string
>> $zebranky): Frungy`
>
> First parameter is the object to be operated on. You wouldn't need to
> do any binding. *magic* would happen inside the function to take care
> of that.

Oh, I see what you're getting at.  I missed the signature on first read.  So you're saying that would generate a callable equivalent to:

$fnMethod = fn (Zok $zok, string $zebranky): Frungy => $zok->Pik($zebranky);

That's an interesting idea, though probably not self-evident to many people.  If we wanted to do that, I'd probably push for something more compact as a syntax, and a bit more auto-refactorable.  I think the Ara language had syntax for something like this, $$->Pik(...) ?  If I'm remembering correctly, which I may or may not be?

(We're also now rather far afield from the OP's request, I think.)

--Larry Garfield