Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:113880
To: Matthew Brown <matthewmatthew@gmail.com>
CC: Internals <internals@lists.php.net>
Thread-Topic: [PHP-DEV] [VOTE] noreturn type
Thread-Index: AQHXJXZLIlpmRCkDlEqcF4RuP+sG6Kqcu0SfgABgv4CAAPl1tw==
Date: Wed, 31 Mar 2021 13:30:43 +0000
Message-ID:
 <BYAPR05MB5478B903F995E770136640A9DE7C9@BYAPR05MB5478.namprd05.prod.outlook.com>
References:
 <CAKuGYLTStzEuOmhGKDdNdWP2iX_--mqV17jub0LgVPs+O6Bd+g@mail.gmail.com>
 <BYAPR05MB547852F3C4ADB69507D1F26CDE7D9@BYAPR05MB5478.namprd05.prod.outlook.com>,<CAKuGYLRQksP_3w+P3LeYe2wsf05Qyyn4uEnw=xQotgeecezWHA@mail.gmail.com>
In-Reply-To:
 <CAKuGYLRQksP_3w+P3LeYe2wsf05Qyyn4uEnw=xQotgeecezWHA@mail.gmail.com>
Accept-Language: en-US
Content-Language: en-US
x-ms-exchange-messagesentrepresentingtype: 1
x-tmn: [20Z9SQt6WAiJrsMvH61rWKRsrYMHMFSN]
x-ms-publictraffictype: Email
x-incomingheadercount: 45
x-eopattributedmessage: 0
x-ms-office365-filtering-correlation-id: f019ac72-62ab-4108-d52a-08d8f4492f14
x-ms-traffictypediagnostic: CO1NAM04HT211:
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info:
 LVj6lmjvmWhUiV3zLAvtT98irSTSSWHGjU3a4YK9NWP6FDN+ff+Rzmn+YORPrVrpy45hPfvZoZjGUR8926ffOI7CvhO9FKQ24CjZiC/Rq5YctrL4lw25JkuzPlR7pP5ZGd6XFarUri9Vu59GCD1yaszXmbcqT7D25ODluvtTbbmxOmbppLu2xWNHTmIxVhCmxUuBpLLsMyS/vj8VYDzGLQIAtgAn1cv35zxuS1IQVBIH91gdCU5HrbGul2e8YKSfgWYc0jGPxiRLRJGvzsdDV6fDwKh0vViQOD8WlQkqe2P6nYuMboCUVkuu/uO0Cyaz5359fgcV0u+j2cNKYb8iQk5EJ7+h3sBmbkz9HYCiqq9tDa4yzkZPU6CYj4Ojgr5Mpu2fsJBqBzobFuVEsvQqF6YnmmkLtkQrCiFAOAUWEFN+X2y0yYgXCmhG9JUfCGpT
x-ms-exchange-antispam-messagedata:
 OZBdtQNi4Bj3LoqG6ktXwcwufimZLqgR4tptJe0BvPhoYgNx7dTCVfPdUVsR1NiXZZ+Yt1TOAL35151ItFasfZXjVWGg1hWF+mxtqDyEjzL6Y6axGk5Bt/YEeiDQbFTko3ksaSu9L8DlcQZBwBhbSA==
x-ms-exchange-transport-forked: True
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-OriginatorOrg: outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Anonymous
X-MS-Exchange-CrossTenant-AuthSource: CO1NAM04FT052.eop-NAM04.prod.protection.outlook.com
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-Network-Message-Id: f019ac72-62ab-4108-d52a-08d8f4492f14
X-MS-Exchange-CrossTenant-originalarrivaltime: 31 Mar 2021 13:30:43.0820
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Internet
X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-Transport-CrossTenantHeadersStamped: CO1NAM04HT211
Subject: Re: [PHP-DEV] [VOTE] noreturn type
From: theodorejb@outlook.com (Theodore Brown)

On Tue, Mar 30, 2021 at 5:24 PM Matthew Brown <matthewmatthew@gmail.com> wr=
ote:=0A=
=0A=
> On Tue, 30 Mar 2021 at 12:55, Theodore Brown <theodorejb@outlook.com> wro=
te:=0A=
> =0A=
> > On Tue, Mar 30, 2021 at 10:06 AM Matthew Brown <matthewmatthew@gmail.co=
m> wrote:=0A=
> > =0A=
> > > Hey everyone!=0A=
> > >=0A=
> > > The vote for adding noreturn is now open:=0A=
> > >=0A=
> > > https://wiki.php.net/rfc/noreturn_type=0A=
> > >=0A=
> > > Voting will run through April 13th=0A=
> > =0A=
> > Hi Matt and Ondrej,=0A=
> > =0A=
> > Thanks for your work on this RFC. I voted for `never` as the type name=
=0A=
> > because it's more amenable to future use cases like compile-time=0A=
> > exhaustiveness checks (example:=0A=
> > https://www.typescriptlang.org/docs/handbook/2/narrowing.html#the-never=
-type).=0A=
> > =0A=
> > As a bonus `never` is more concise, avoids mashing two words together,=
=0A=
> > and aligns with TypeScript, which I and many other PHP devs also use.=
=0A=
> =0A=
> Awesome! The conciseness argument for "never" is already mentioned in=0A=
> the RFC, as is TypeScript's use of the term.=0A=
> =0A=
> Full disclosure (because neither of us is eligible to vote):=0A=
> I slightly prefer "noreturn", and Ondrej strongly prefers "never".=0A=
=0A=
Hi Matt,=0A=
=0A=
I'm confused by this. If Ondrej strongly prefers `never`, why does the=0A=
RFC say "we believe `noreturn` is the best name for this type"?=0A=
=0A=
It might be better to just remove this sentence, or else list your separate=
 preferences.=0A=
=0A=
Thanks,=0A=
Theodore=