Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:127787
Content-Type: multipart/signed;
	boundary="Apple-Mail=_BAC74DB4-98A9-409C-A255-C627B24F1AB2";
	protocol="application/pgp-signature";
	micalg=pgp-sha256
Precedence: bulk
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3826.600.51.1.1\))
Subject: =?utf-8?Q?Re=3A_=5BPHP-DEV=5D_Request_for_RFC_Karma_=E2=80=93_kha?=
 =?utf-8?Q?ledalamxyz?=
Date: Sun, 29 Jun 2025 18:52:18 -0500
References: <CAJS5taDf3Sg-phPNN2z7HGOuV5WxMKJf9vuyj07kKrUKUonD0g@mail.gmail.com>
 <9f135472-9b34-47c4-b549-e5c7a17a775f@nunninger.info>
To: internals@lists.php.net
In-Reply-To: <9f135472-9b34-47c4-b549-e5c7a17a775f@nunninger.info>
Message-ID: <7506F251-4F72-4A04-8E9D-A35660E9C9BF@php.net>
From: ramsey@php.net (Ben Ramsey)


--Apple-Mail=_BAC74DB4-98A9-409C-A255-C627B24F1AB2
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8

> On Jun 29, 2025, at 18:39, Thomas Nunninger <thomas@nunninger.info> =
wrote:
>=20
> Hi,
>=20
>> I=E2=80=99d like to request *RFC karma* to create a new proposal =
titled "*Fail-Fast Assertion Operator (|=3D>!|)"*.
>> *About the Proposal:*
>> The idea is to introduce a new *fail_fast_assertion_operator* to PHP =
that provides a concise and readable way to assert that an expression is =
valid and immediately fail otherwise.
>> *Example 1:*
>> $name =3D null;
>> $name =3D>! die("Missing name") > This is equivalent to:
>> if (!$name) {
>> die("Missing name");
>> }
>> *Example 2:*
>> $username =3D>! throw new Exception("Missing username");
>> $password =3D>! throw new Exception("Missing password");
>> is_valid($username, $password) =3D>! exit("Invalid credentials");
>> This is equivalent to:
>> if (!$username) {
>> throw new Exception("Missing username");
>> }
>> if (!$password) {
>> throw new Exception("Missing password");
>> }
>> if (!is_valid($username, $password)) {
>> exit("Invalid credentials");
>> }
>> The goal is to improve readability and reduce boilerplate in =
fail-fast validation scenarios. This is particularly useful in input =
validation, functional pipelines, and early guard clauses.
>> I=E2=80=99d like to open the discussion and collaborate with the =
community to refine and assess its value and implementation feasibility.
>> Please let me know if anything else is required from my side.
>=20
>=20
> That seems to work today (https://3v4l.org/14aPa):
>=20
>=20
> try {
>    $name ?? throw new Exception("variable is null or not defined");
> } catch (Exception $e) {
>    echo $e->getMessage() . "\n";
> }
>=20
> try {
>    $name =3D '';
>    $name ?: throw new Exception("variable is falsy");
> } catch (Exception $e) {
>    echo $e->getMessage() . "\n";
> }
>=20
>=20
> Regards,
>=20
> Thomas


You can also use logical OR (||), similar to other languages:

$name || throw new Exception("variable is falsy");

Cheers,
Ben


--Apple-Mail=_BAC74DB4-98A9-409C-A255-C627B24F1AB2
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
	filename=signature.asc
Content-Type: application/pgp-signature;
	name=signature.asc
Content-Description: Message signed with OpenPGP

-----BEGIN PGP SIGNATURE-----

iHUEAREIAB0WIQToXQMR3fpbrPOmEOewLZeYnIwHGwUCaGHRsgAKCRCwLZeYnIwH
GxsWAP4ofKiQbfCKCxnEd/39gDlC83l2J9X2GzKrIt29XedpfwD/cLDJK/tPo+06
8wlLhhADEz4FECLqe/HcgDd4dSj44UA=
=1TlW
-----END PGP SIGNATURE-----

--Apple-Mail=_BAC74DB4-98A9-409C-A255-C627B24F1AB2--