Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:127786
Message-ID: <9f135472-9b34-47c4-b549-e5c7a17a775f@nunninger.info>
Date: Mon, 30 Jun 2025 01:39:17 +0200
Precedence: bulk
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: =?UTF-8?Q?Re=3A_=5BPHP-DEV=5D_Request_for_RFC_Karma_=E2=80=93_khale?=
 =?UTF-8?Q?dalamxyz?=
To: internals@lists.php.net
References: <CAJS5taDf3Sg-phPNN2z7HGOuV5WxMKJf9vuyj07kKrUKUonD0g@mail.gmail.com>
Content-Language: de-DE-frami
In-Reply-To: <CAJS5taDf3Sg-phPNN2z7HGOuV5WxMKJf9vuyj07kKrUKUonD0g@mail.gmail.com>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
UI-OutboundReport: notjunk:1;M01:P0:0AGx5hQDmzE=;gGlyS/N5qfJFXJ/f3L6Kyc+xEBa
 oNUILxKslNHO/ycqZ7McgJcnyQ5A7OzmEJ7Ucw/X3HUt+qx8rgQ3WXhpgoKqLEQIgPC+AqZS/
 8/0xIcgpW9JshF8ckEYNENfmHDKo2TGkT1pJaAtadl2PICwVxkBjWMB3iK0tDM7BO8V2SovkE
 5PBLvxs16MwxKngSd5zrFGiQDvOOq+C+zFa6owq1bUf8/j4GAv1TjhWkJiZZ5ODE7hn2i1evY
 0ubTyG2muZl7ckgxoBvh7MCtXGrB+5RuaQQKVcYlvmc9FH1yw6RHd6WAOimJP3BlTCL1dECWG
 1j8MMKb15bqTge6hcPzQQGGvlb7JtYJP6L8fNHKnAs9Ts7PB3KalVY5pH3eTtMjRXgZq3OHtB
 W/n1ar+rp3oi9ERXHmo+Y18fouJV4KDDOin6ANVrW5lCthOetCdWyi35dVYJq7USl/Lgg3uAY
 1VmYxrTKF1Aim1IQT/z+xZ7LetnTrUd0cQlvgk8oqvIvb1ShhS2pD/g7kxTL7VIzNm+a8UGZX
 Fe31MizHwe6wTdqrbMEs67ePOgjrWV6H1/d2WG2dSonQVTeJkFhqrZ8IXh4MJAoz1OVqtmiKw
 ADFPv0KnMLUSRDOPM683Y0Xu+cFotIje4Bwwus1toxL49Ox8T5L0YBZr7xS8PdWeFoa9sETlI
 K4gDFt+qklD7A8b4Je1MfN664y2kEdlnZGtw5mwzD2cmuhmHBvk3ixfjkl97p2V0FMLhK3baD
 MZq8jHufF4NztqJcoRdYXL9N8UT2SLJ/fXMlyUiimJmke6NVPlo09YVGBrUTVMAsYvJVuHn3y
 7A6ZH3oEG3gK5pENm4nVP9Jgj4cNWU87XN0H85PtVRcwQK4edmdHvwz/4lnx8p48yM+BRMfZ1
 ImMY5HtTjmQI5NLtlSJVKZ4qFNNCG5RNhYZ3XjQxlzqpyY91Ihi6famUciA+VI9IZ48gFO+yl
 TB2PI53T31xCSkfk7KCPpPBBK+9sWaQL7KVx6Qnk0u+Nnv82my8Bt7kK0/pkphQxBImVykq/l
 kl2ozFL3t7O4AcRcQqcqAq/5+CEqt2UOQX2LAOUTmxxcGkirJPEHxgeotaq3JVjpTCUhSM3Vw
 8oYEOO8L5FsAW8iSEuKC3k0W1EhWer0xaBBp85OoBc14Yd5q2SvtfO3f7OYDxeNwJXPtm4H8z
 l99FVoPIsZepcB/r3GLjbyxskS6x9l0WPKSe3AkKUDkKIi5nfAWYwpZDt0wDDDNs7pec0N3w4
 dNT8bR85yGGNO8kXVBTHAplEt6+sSH+vwaOANyhCOhWt2K6iY/m6KoHrFzilm1DydjwuMwWbl
 APK7B7I34jMOIXfocfv0N/Q+OmIKcNfd4K+CXVk02HhHaMK4MNx0QUC94HGHrXwp0lGAnatKu
 KEjnZDTKRU4jZYtFh3VgGU1nnav/TmvaTGrPRLx6xZgxLjyUEpOMx18yNdFJ8sL24fA8Mo9SA
 zJE42gQYjRMdpgZfYPUGJlLuWurKMn3gbAiWb0OXtPqfJiXzXhtHsD0u6yoA23H9+8saN0hse
 L9ncMeCzis/FBAWGoAd6+DMKEsry8UDM/tGMUsjp38gx5+0Bpq/gPGN91S9atpx2t75J3Hp+H
 rvLBp+a5JtYHXs+kVLD78+IE5AQEBlT
From: thomas@nunninger.info (Thomas Nunninger)

Hi,

> I’d like to request *RFC karma* to create a new proposal titled 
> "*Fail-Fast Assertion Operator (|=>!|)"*.
> 
> *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 = null;
> $name =>! die("Missing name") > This is equivalent to:
> if (!$name) {
> die("Missing name");
> }
> 
> *Example 2:*
> $username =>! throw new Exception("Missing username");
> $password =>! throw new Exception("Missing password");
> is_valid($username, $password) =>! 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’d 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.


That seems to work today (https://3v4l.org/14aPa):


try {
     $name ?? throw new Exception("variable is null or not defined");
} catch (Exception $e) {
     echo $e->getMessage() . "\n";
}

try {
     $name = '';
     $name ?: throw new Exception("variable is falsy");
} catch (Exception $e) {
     echo $e->getMessage() . "\n";
}


Regards,

Thomas