Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113488
Date: Thu, 11 Mar 2021 23:34:07 +0000
User-Agent: K-9 Mail for Android
In-Reply-To: <CA+kxMuQKJtkMqZdhQMwxNJ7zyAuiCtvqYJRxCnNg9hHy_Qj0VA@mail.gmail.com>
References: <CAKuGYLRjOHWnX24kCVpTUV5DwdVTwcSkakZkZiAmF9YhpGDpVw@mail.gmail.com> <CA+kxMuQKJtkMqZdhQMwxNJ7zyAuiCtvqYJRxCnNg9hHy_Qj0VA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: text/plain;
 charset=utf-8
Content-Transfer-Encoding: quoted-printable
To: internals@lists.php.net
Message-ID: <D90B550F-A20B-4B69-933B-742018A696D5@gmail.com>
Subject: Re: [PHP-DEV] [RFC] noreturn type
From: rowan.collins@gmail.com (Rowan Tommins)

On 11 March 2021 19:39:26 GMT, Dan Ackroyd <Danack@basereality=2Ecom> wrote=
:
>Unfortunately people in the community have started doing what I
>feared, and using void as 'no value is returned', which is not what
>the language actually _does_=2E
>
>I realise the above might be slightly discombobulating if, for
>example, some people had written large static code analyzers that had
>misinterpreted void like this=2E


I think it is you that is misinterpreting things=2E The "void" keyword exp=
licitly signals the intent "this function does not return a value"=2E Peopl=
e find that a useful thing to signal, even if the language still allows the=
 function to be used in expression context=2E They also find it useful to b=
e reminded "Hey, you know this function you're using as an expression? That=
 makes no sense, because it doesn't return anything=2E"

You may not find that useful, but those that do are using "void" exactly a=
s intended=2E

Regards,
Oh, and on this point:
--=20
Rowan Tommins
[IMSoP]