Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113492
Content-Type: text/plain;
	charset=utf-8
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.4\))
In-Reply-To: <CAKuGYLRjOHWnX24kCVpTUV5DwdVTwcSkakZkZiAmF9YhpGDpVw@mail.gmail.com>
Date: Thu, 11 Mar 2021 22:10:47 -0600
Cc: Internals <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <4C6E346A-9CFB-4930-B102-0C709DF2628A@trowski.com>
References: <CAKuGYLRjOHWnX24kCVpTUV5DwdVTwcSkakZkZiAmF9YhpGDpVw@mail.gmail.com>
To: Matthew Brown <matthewmatthew@gmail.com>
Subject: Re: [PHP-DEV] [RFC] noreturn type
From: aaron@trowski.com (Aaron Piotrowski)


> On Mar 10, 2021, at 12:06 PM, Matthew Brown <matthewmatthew@gmail.com> =
wrote:
>=20
> Hey,
>=20
> Ond=C5=99ej Mirtes and I present an RFC for the noreturn type:
> https://wiki.php.net/rfc/noreturn_type
>=20
> The feature already exists in Hack (the primary inspiration) and is
> currently supported by our static analysis tools inside docblocks, and =
we
> feel there's a good argument for it to be supported by PHP itself.
>=20
> Thanks,
>=20
> Matt & Ond=C5=99ej


Hi Matt & Ond=C5=99ej,

I wanted to give my +1 to this proposal.

I was curious to see how fibers might interact with this declaration, =
since it is possible to create a fiber that can not return. So, I =
compiled your branch and gave it a try.

```
$fiber =3D new Fiber(function (): noreturn {
    while (true) {
        Fiber::suspend(\random_int(0, 100));
    }
});

$result =3D $fiber->start();

for ($i =3D 0; $result; ++$i) {
    echo $result, "\n";
    $result =3D $fiber->resume();
}

echo "Generated ", $i, " numbers before generating zero.\n";
```

This short script works just as expected, cool! :-D

Cheers,
Aaron Piotrowski=