Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:126590
Feedback-ID: id5114917:Fastmail
Message-ID: <fe5b4517-aa7d-4f44-9b58-1df0ad2766f9@rwec.co.uk>
Date: Wed, 5 Mar 2025 23:50:13 +0000
Precedence: bulk
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: [PHP-DEV] PHP True Async RFC
To: internals@lists.php.net
References: <CAMW7n8AJckEDzhGv9BdjNhq8zAdCqb4HsVr56vGi+izw50X6Dg@mail.gmail.com>
 <9964db8c-0ffe-43d5-8246-47fc76b07180@app.fastmail.com>
 <CAMW7n8CM7oBfXCDsKtV4hTFs40UmLCU3183WjYE2exLNqKDWLQ@mail.gmail.com>
 <78a03dd0-fd4a-4f4a-ad8a-37e5704f06fc@app.fastmail.com>
 <CAMW7n8C-Z18MKhyDX2+ofg70cRbwWOk=YWDAZpKtfLZsFVVRng@mail.gmail.com>
 <23e162f6-54b0-4564-9d79-7b3bdc3d1ab5@rwec.co.uk>
Content-Language: en-GB
In-Reply-To: <23e162f6-54b0-4564-9d79-7b3bdc3d1ab5@rwec.co.uk>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
From: imsop.php@rwec.co.uk ("Rowan Tommins [IMSoP]")

On 05/03/2025 23:10, Rowan Tommins [IMSoP] wrote:
> This is roughly what happened with Closures themselves in PHP: first, 
> decide that "$foo = function(){};" will be valid syntax, and define 
> Closure as the type of $foo; then over time, add additional behaviour 
> to the Closure class, the ability to add __invoke() hooks on other 
> classes, etc 


Sorry to double-post, but Generators are probably a better example: you 
can write "$foo = yield $bar;" and there are well-defined semantics; on 
the outside of the function, we represent the state as a Generator 
object, and make it implement Iterable to explain how foreach() works; 
but on the inside of the function, it's pure magic: $bar is passed into 
an invisible channel, an invisible continuation is created, and when 
it's resumed another invisible channel passes out a value for $foo.

-- 
Rowan Tommins
[IMSoP]