Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:128927
Feedback-ID: ifab94697:Fastmail
Precedence: list
MIME-Version: 1.0
Date: Thu, 23 Oct 2025 10:24:52 +0200
To: "Edmond Dantes" <edmond.ht@gmail.com>
Cc: "Aaron Piotrowski" <aaron@trowski.com>,
 "PHP Internals" <internals@lists.php.net>
Message-ID: <206f361b-f3dc-4198-aa61-24ef358687d8@app.fastmail.com>
In-Reply-To: 
 <CAMW7n8B-AKA8JSzdWPSyZCs6mGJCAbAz3XimkGFx4NfY=dnoiw@mail.gmail.com>
References: 
 <CAMW7n8DGbFnQzjt3s9CcOBwhp+MUOV+K3U=yY=ULOTdUXaOLHQ@mail.gmail.com>
 <0e4e39d6-9cc9-4970-92e0-2463143b4011@app.fastmail.com>
 <CAMW7n8AgHnO0rBjqBkHNhfvV5PBNxwgHBJ762N3FtVxoh5WnOQ@mail.gmail.com>
 <E8D4A549-79EA-48E9-9D20-3608F357F227@trowski.com>
 <CAMW7n8D0wMNQE0zuMhbHstyZsDw=e7ryPPZERn11UFV7knmR-g@mail.gmail.com>
 <37180d8d-85b4-49a3-a672-334bf4329470@app.fastmail.com>
 <CAMW7n8AFaUByiJ=2frgkAFWNPWHS2wYyHiKfwf8dzT7AYnLjWg@mail.gmail.com>
 <2f8524a7-dea2-4fbf-933a-c538d3706253@app.fastmail.com>
 <CAMW7n8DKB+AWp2sWPi_w8ZgLQ_zS2MPNgP6n1G5127Nkk7EgOA@mail.gmail.com>
 <151800a7-1094-49bc-8e43-c593a74741af@app.fastmail.com>
 <CAMW7n8CWMpUmVB+FHjuYNFMzswbW5Lo19C1D6CTri6HVsddwkQ@mail.gmail.com>
 <c1f712d7-4922-4620-a1c6-e8fca72c9a55@app.fastmail.com>
 <CAMW7n8Ah3LZDqV1eNoM45GWR2yOVLZxR58YuszbSNi34PMA4gw@mail.gmail.com>
 <772a457f-69b6-4a76-8224-081917d719f6@app.fastmail.com>
 <CAMW7n8C0BALniMyfCHfgC9qwS41jMZoM0a0u-vyBCjJY=fanLA@mail.gmail.com>
 <8c20e8cc-cec7-4aa5-b6a7-663ef8159e1a@app.fastmail.com>
 <CAMW7n8BC2kuu=qUUbbzy-S9uPM2iK9JFKeNF4ZkEHu=cuDqN0w@mail.gmail.com>
 <edab8c0c-6459-4b07-8bdf-e57d8baeddcc@app.fastmail.com>
 <CAMW7n8B-AKA8JSzdWPSyZCs6mGJCAbAz3XimkGFx4NfY=dnoiw@mail.gmail.com>
Subject: Re: [PHP-DEV] PHP True Async RFC Stage 4
Content-Type: multipart/alternative;
 boundary=1fc6d23812a7451fad0decc237d95746
From: rob@bottled.codes ("Rob Landers")

--1fc6d23812a7451fad0decc237d95746
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable



On Thu, Oct 23, 2025, at 10:04, Edmond Dantes wrote:
> > Nowhere in the RFC does it explain how await() applies to the Awaita=
ble interface, it only specifies it in the context of a coroutine.
>=20
> Which aspect of the behavior is not described here?
>=20
> RFC:
>=20
> The Awaitable interface is a contract that allows objects to be used
> in the await expression.
> The Awaitable interface does not impose limitations on the number of
> state changes.
> In the general case, objects implementing the Awaitable interface can
> act as triggers =E2=80=94 that is, they can change their state an unli=
mited
> number of times. This means that multiple calls to await <Awaitable>
> may produce different results.
>=20

For example, it describes:

> `await` suspends the execution of the current coroutine until the awai=
ted one returns a final result or completes with an exception.

But it doesn't explicitely say that it happens for Awaitable. For all we=
 know, it doesn't suspend anything unless the value given to it is a cor=
outine. Since Awaitable doesn't necessarily have a "final result" or "a =
single exception" we know it isn't about Awaitable, but about coroutines.

=E2=80=94 Rob
--1fc6d23812a7451fad0decc237d95746
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html><html><head><title></title></head><body><div><br></div><d=
iv><br></div><div>On Thu, Oct 23, 2025, at 10:04, Edmond Dantes wrote:</=
div><blockquote type=3D"cite" id=3D"qt" style=3D""><div>&gt; Nowhere in =
the RFC does it explain how await() applies to the Awaitable interface, =
it only specifies it in the context of a coroutine.</div><div><br></div>=
<div>Which aspect of the behavior is not described here?</div><div><br><=
/div><div>RFC:</div><div><br></div><div>The Awaitable interface is a con=
tract that allows objects to be used</div><div>in the await expression.<=
/div><div>The Awaitable interface does not impose limitations on the num=
ber of</div><div>state changes.</div><div>In the general case, objects i=
mplementing the Awaitable interface can</div><div>act as triggers =E2=80=
=94 that is, they can change their state an unlimited</div><div>number o=
f times. This means that multiple calls to await &lt;Awaitable&gt;</div>=
<div>may produce different results.</div><div><br></div></blockquote><di=
v><br></div><div>For example, it describes:</div><div><br></div><blockqu=
ote type=3D"cite"><div><code style=3D"border-top-width:1px;border-right-=
width:1px;border-bottom-width:1px;border-left-width:1px;border-top-style=
:solid;border-right-style:solid;border-bottom-style:solid;border-left-st=
yle:solid;border-top-color:rgb(204, 204, 204);border-right-color:rgb(204=
, 204, 204);border-bottom-color:rgb(204, 204, 204);border-left-color:rgb=
(204, 204, 204);border-image-source:initial;border-image-slice:initial;b=
order-image-width:initial;border-image-outset:initial;border-image-repea=
t:initial;border-top-left-radius:3px;border-top-right-radius:3px;border-=
bottom-right-radius:3px;border-bottom-left-radius:3px;background-image:i=
nitial;background-position-x:initial;background-position-y:initial;backg=
round-size:initial;background-repeat:initial;background-attachment:initi=
al;background-origin:initial;background-clip:initial;background-color:rg=
b(246, 246, 246);font-family:menlo, consolas, monospace;font-size:90%;pa=
dding-top:1px;padding-right:3px;padding-bottom:1px;padding-left:3px;">aw=
ait</code><span class=3D"color" style=3D"color:rgb(51, 51, 51);"><span c=
lass=3D"highlight" style=3D"background-color:rgb(255, 255, 255);"></span=
>&nbsp;suspends the execution of the current coroutine until the awaited=
 one returns a final result or completes with an exception.</span><br></=
div></blockquote><div><br></div><div>But it doesn't explicitely say that=
 it happens for Awaitable. For all we know, it doesn't suspend anything =
unless the value given to it is a coroutine. Since Awaitable doesn't nec=
essarily have a "final result" or "a single exception" we know it isn't =
about Awaitable, but about coroutines.</div><div><br></div><div id=3D"si=
g121229152">=E2=80=94 Rob</div></body></html>
--1fc6d23812a7451fad0decc237d95746--