Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113453
MIME-Version: 1.0
References: <CAKuGYLRjOHWnX24kCVpTUV5DwdVTwcSkakZkZiAmF9YhpGDpVw@mail.gmail.com>
 <75a8a0ec-d988-7712-58b5-88c8061db605@gmail.com>
In-Reply-To: <75a8a0ec-d988-7712-58b5-88c8061db605@gmail.com>
Date: Wed, 10 Mar 2021 22:00:40 +0200
Message-ID: <CAAwdEzDoWJ3mLAw_vW1Cbaif=hr-_qAkMa_+Cz-A+JH_FV4uRw@mail.gmail.com>
To: Rowan Tommins <rowan.collins@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000cbbe9505bd341f4e"
Subject: Re: [PHP-DEV] [RFC] noreturn type
From: drealecs@gmail.com (=?UTF-8?Q?Alexandru_P=C4=83tr=C4=83nescu?=)

--000000000000cbbe9505bd341f4e
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hi Rowan,

On Wed, Mar 10, 2021, 20:55 Rowan Tommins <rowan.collins@gmail.com> wrote:

> On 10/03/2021 18:06, Matthew Brown wrote:
> > Ond=C5=99ej Mirtes and I present an RFC for the noreturn type:
> > https://wiki.php.net/rfc/noreturn_type
>
>
> Thanks for the proposal, I can certainly think of uses for it.



> The other thing I'd like to mention is that PHP's implementation of
> "void" consists mostly of checking that there is no return statement, so
> a separate keyword of "noreturn" may well cause confusion. I would
> personally prefer the name "never" for this reason.
>

I would mostly say that "void" consists of checking that no value is
returned as plain `return;` statements are fine.
While actually "noreturn" consists of checking that there is no return
statement, implicit or explicit.

As another distinction I noticed, for "void" the validation can be done
completely at compile time but for "noreturn" both compile and run time are
necessary right now.
Hopefully, static analysis tools like psalm can further understand better
and better the runtime execution paths and provide with errors.

I was just reading the github committed RFC earlier this morning and I
liked it.

Regards,
Alex

--000000000000cbbe9505bd341f4e--