Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:129391
Precedence: list
MIME-Version: 1.0
References: <CAEKnhAHRPbiU4auDuTtFL2ueNnACjmYm_ff9c3VciYE9HfeGZg@mail.gmail.com>
 <CAMW7n8D5B=XVX_Jes+LV=2fPwjQr_RBVphPi_Cxm8-_Rwpdo_Q@mail.gmail.com>
 <CADK1yX+jGtqQVYFTo5YmkenPrNcXz7Dd7RCUKWGrq+50pnKOnw@mail.gmail.com>
 <CAMW7n8Dogjj2JFJBNArk-BfvOHRqHKMAFReXJAhDm2UPV1TF7A@mail.gmail.com>
 <CADK1yXKgkuKmOMB7KA9GNQMtpNw7ZgWcPEPE_Uhr_+8eReDCEA@mail.gmail.com>
 <CAMW7n8D+RGAFDY3oGnzaAabrhW9TOMeBgtvx4zCy3AoBUb5szA@mail.gmail.com>
 <CAEKnhAFsXpfZy8FQyA4Z9bNyNa26rCCn5GO=oQ274e1K2+GkAw@mail.gmail.com>
 <E4EE97C5-76EB-4C65-A3BE-7FFE27DD1500@rwec.co.uk> <383528143.397454.1763760932585@email.ionos.de>
 <CAMW7n8BjVM7SdM8Jn3dOmrXgngxycerZr9Cm4jeACnXaETQCWQ@mail.gmail.com>
 <691963327.399484.1763796022993@email.ionos.de> <CAMW7n8DnE_M3MOOfH_4x9DOZyQyT6FCbhBtU+6tuDD3Rw0vzbQ@mail.gmail.com>
 <1402906904.784903.1763811759896@email.ionos.de> <2015208655.784984.1763811978476@email.ionos.de>
 <CAMW7n8D0=6hEPpZpGe2SrYKqgFqsDkPAjHBP4g5K45bFPaiNdw@mail.gmail.com> <980296152.1071.1763813573083@email.ionos.de>
In-Reply-To: <980296152.1071.1763813573083@email.ionos.de>
Date: Sat, 22 Nov 2025 14:37:11 +0200
Message-ID: <CAMW7n8DXA501uGOY3952y8YhAJDVRrPYEiuw+Wzc5=oEciLVZQ@mail.gmail.com>
Subject: Re: [PHP-DEV] [VOTE] True Async RFC 1.6
To: Thomas Bley <mails@thomasbley.de>
Cc: internals@lists.php.net
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
From: edmond.ht@gmail.com (Edmond Dantes)

> basically in $result =3D foo(spawn(bar(baz(file_get_contents())))); file_=
get_contents() receives outside context from spawn() to turn into async mod=
e.
> Also foo(), bar(), baz() can be in different namespaces, different classe=
s, so by looking at the code calling file_get_contents(), it's not clear if=
 the result is sync or async.

Ok, then let=E2=80=99s look in detail at what is happening.

> foo(spawn(bar(baz(file_get_contents()))))

i.e.

```php
$result =3D foo(spawn(bar(...), fn () =3D> baz(file_get_contents())));
```

Did I understand the code correctly?
(Assume there was also some parameter there, like a file name.)

1. We call `bar` in a separate coroutine, which
2. First calls `file_get_contents`
3. Then passes the result to the function `baz()`

Is that correct?

> Also foo(), bar(), baz() can be in different namespaces, different classe=
s, so by looking at the code calling file_get_contents(), it's not clear if=
 the result is sync or async.
If we are discussing the code above, then it returns a Promise not of
the file-reading result.
This is a completely different logic, and here the programmer clearly
intended to do something else.
What if the function baz replaces every a character with baz? It's ok.

```php
$foo =3D file_get_contents('foo.txt'); // sync
$result =3D spawn($foo); // error because $foo is string
```

Here I don=E2=80=99t understand why someone would intentionally write incor=
rect code.

Code:
```php
$result =3D foo(file_get_contents('foo.txt'));

// equivalent to
// the code below has no practical purpose

$result =3D foo(await(spawn(file_get_contents(...), 'foo.txt')));
```

Is that correct?