Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:122730
Message-ID: <E9B3D83D-E0E9-497E-8C2C-BDBD90E56FC4@gmail.com>
Content-Type: multipart/alternative;
	boundary="Apple-Mail=_A065FD35-CEA1-4258-A444-852CCB75FD0B"
Precedence: bulk
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.400.31\))
Subject: Re: [PHP-DEV] Proposal: AS assertions
Date: Fri, 22 Mar 2024 18:38:24 +0100
In-Reply-To: <bc3d8bde-3e8f-46ca-b2c3-d9e8c36bc652@app.fastmail.com>
Cc: internals@lists.php.net
To: "Rowan Tommins [IMSoP]" <imsop.php@rwec.co.uk>
References: <CAPzBOBMGe=kWWiJYGLG02qxh+2Pe5yTqodhGtAE3LjdAPmkQUw@mail.gmail.com>
 <efbffe5a-f57a-42e4-8e0c-b25ab2c441fc@rwec.co.uk>
 <CAPzBOBM4b5c=hWgcj6uBgK3Lb65X56T-bhGHVGhma_YnCCJuoQ@mail.gmail.com>
 <CAPzBOBM8dmP5e-N4WXgM+7xbBYx7b=1DyPyJuV5O6QHX2F2s0w@mail.gmail.com>
 <3F78A125-1946-42E2-A4F5-A2B282BE2107@rwec.co.uk>
 <CAPzBOBPDVE-xtQoFUOXchwNAo_iJTGs=RKcnoq1mOtKF70eeLA@mail.gmail.com>
 <2d7ec203-6e80-445c-94f4-d29ef58743b1@rwec.co.uk>
 <CAPzBOBOqNT17CRiDsw78GH647xM09z4Y4HpSvM55RXoS-BWfKA@mail.gmail.com>
 <becdbf66-be58-4b4e-a0be-52a9c78f7f26@seld.be>
 <7d53f2e4-46f3-46f1-89b0-6e1d3b0b2e32@app.fastmail.com>
 <CAPzBOBPvMu7NRocrAJHWULpjvJyk_SC4+MFs5d-7dQpdMuSahg@mail.gmail.com>
 <bc3d8bde-3e8f-46ca-b2c3-d9e8c36bc652@app.fastmail.com>
From: claude.pache@gmail.com (Claude Pache)


--Apple-Mail=_A065FD35-CEA1-4258-A444-852CCB75FD0B
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8


> Le 22 mars 2024 =C3=A0 16:18, Rowan Tommins [IMSoP] =
<imsop.php@rwec.co.uk> a =C3=A9crit :
>=20
> $optionalExpiryDateTime =3D $expiry as ?DateTimeInterface else =
some_other_function($expiry);
> assert($optionalExpiryDateTime is ?DateTimeInterface); // cannot fail, =
already asserted by the "as"

I think that the `is` operator is all we need; the `as` operator adds =
syntax complexity for little gain. Compare:

$optionalExpiryDateTime =3D $expiry as ?DateTimeInterface else =
some_other_function($expiry);

vs

$optionalExpiryDateTime =3D $expiry is ?DateTimeInterface ? $expiry : =
some_other_function($expiry);

=E2=80=94Claude=

--Apple-Mail=_A065FD35-CEA1-4258-A444-852CCB75FD0B
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: =
after-white-space;"><br><div><blockquote type=3D"cite"><div>Le 22 mars =
2024 =C3=A0 16:18, Rowan Tommins [IMSoP] &lt;imsop.php@rwec.co.uk&gt; a =
=C3=A9crit :</div><br class=3D"Apple-interchange-newline"><div><span =
style=3D"caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: =
14px; font-style: normal; font-variant-caps: normal; font-weight: 400; =
letter-spacing: normal; text-align: start; text-indent: 0px; =
text-transform: none; white-space: normal; word-spacing: 0px; =
-webkit-text-stroke-width: 0px; text-decoration: none; float: none; =
display: inline !important;">$optionalExpiryDateTime =3D $expiry as =
?DateTimeInterface else some_other_function($expiry);</span><br =
style=3D"caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: =
14px; font-style: normal; font-variant-caps: normal; font-weight: 400; =
letter-spacing: normal; text-align: start; text-indent: 0px; =
text-transform: none; white-space: normal; word-spacing: 0px; =
-webkit-text-stroke-width: 0px; text-decoration: none;"><span =
style=3D"caret-color: rgb(0, 0, 0); font-family: Helvetica; font-size: =
14px; font-style: normal; font-variant-caps: normal; font-weight: 400; =
letter-spacing: normal; text-align: start; text-indent: 0px; =
text-transform: none; white-space: normal; word-spacing: 0px; =
-webkit-text-stroke-width: 0px; text-decoration: none; float: none; =
display: inline !important;">assert($optionalExpiryDateTime is =
?DateTimeInterface); // cannot fail, already asserted by the =
"as"</span><br style=3D"caret-color: rgb(0, 0, 0); font-family: =
Helvetica; font-size: 14px; font-style: normal; font-variant-caps: =
normal; font-weight: 400; letter-spacing: normal; text-align: start; =
text-indent: 0px; text-transform: none; white-space: normal; =
word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: =
none;"></div></blockquote></div><br><div>I think that the `is` operator =
is all we need; the `as` operator adds syntax complexity for little =
gain. Compare:</div><div><br></div><div>$optionalExpiryDateTime =3D =
$expiry as ?DateTimeInterface else =
some_other_function($expiry);<br></div><div><br></div><div>vs</div><div><b=
r></div><div>$optionalExpiryDateTime =3D $expiry is ?DateTimeInterface ? =
$expiry : =
some_other_function($expiry);</div><div><br></div><div>=E2=80=94Claude</di=
v></body></html>=

--Apple-Mail=_A065FD35-CEA1-4258-A444-852CCB75FD0B--