Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:128889
Feedback-ID: ifab94697:Fastmail
Precedence: list
MIME-Version: 1.0
Date: Tue, 21 Oct 2025 23:57:13 +0200
To: "Edmond Dantes" <edmond.ht@gmail.com>,
 "Aaron Piotrowski" <aaron@trowski.com>
Cc: "PHP Internals" <internals@lists.php.net>
Message-ID: <37180d8d-85b4-49a3-a672-334bf4329470@app.fastmail.com>
In-Reply-To: 
 <CAMW7n8D0wMNQE0zuMhbHstyZsDw=e7ryPPZERn11UFV7knmR-g@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>
Subject: Re: [PHP-DEV] PHP True Async RFC Stage 4
Content-Type: multipart/alternative;
 boundary=8fd2d510d8484464a7ab6074f2c00712
From: rob@bottled.codes ("Rob Landers")

--8fd2d510d8484464a7ab6074f2c00712
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable



On Tue, Oct 21, 2025, at 19:11, Edmond Dantes wrote:
> Hi
>=20
> > Awaitables should always represent a single value. Awaiting multiple=
 times should never result in a different value.
> Where did this rule come from?

I don=E2=80=99t think it=E2=80=99s a =E2=80=9Crule=E2=80=9D per se and w=
hy I suggested breaking it up into two different kinds of Awaitables. In=
variants make code easier to reason about and work with. The more invari=
ants you have, the easier it is to form, maintain, and refactor.=20

=E2=80=94 Rob
--8fd2d510d8484464a7ab6074f2c00712
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 Tue, Oct 21, 2025, at 19:11, Edmond Dantes wrote:</=
div><blockquote type=3D"cite" id=3D"qt" style=3D""><div>Hi</div><div><br=
></div><div>&gt; Awaitables should always represent a single value. Awai=
ting multiple times should never result in a different value.</div><div>=
Where did this rule come from?</div></blockquote><div><br></div><div>I d=
on=E2=80=99t think it=E2=80=99s a =E2=80=9Crule=E2=80=9D per se and why =
I suggested breaking it up into two different kinds of Awaitables. Invar=
iants make code easier to reason about and work with. The more invariant=
s you have, the easier it is to form, maintain, and refactor.&nbsp;</div=
><div><br></div><div id=3D"sig121229152">=E2=80=94 Rob</div></body></htm=
l>
--8fd2d510d8484464a7ab6074f2c00712--