On Tue, Mar 30, 2021 at 10:06 AM Matthew Brown <matthewmatthew@gmail.com> wrote:
> Hey everyone!
>
> The vote for adding noreturn is now open:
>
> https://wiki.php.net/rfc/noreturn_type
>
> Voting will run through April 13th
Hi Matt and Ondrej,
Thanks for your work on this RFC. I voted for never as the type name
because it's more amenable to future use cases like compile-time
exhaustiveness checks (example:
https://www.typescriptlang.org/docs/handbook/2/narrowing.html#the-never-type).
As a bonus never is more concise, avoids mashing two words together,
and aligns with TypeScript, which I and many other PHP devs also use.
Kind regards,
Theodore