Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:128431
Feedback-ID: ifab94697:Fastmail
Precedence: list
MIME-Version: 1.0
Date: Fri, 08 Aug 2025 08:59:55 +0200
To: "Mihail Liahimov" <91liahim@gmail.com>,
 "Andreas Heigl" <andreas@heigl.org>
Cc: internals@lists.php.net
Message-ID: <0bc2ccc9-c8fd-4266-a14c-3d6d4feca62c@app.fastmail.com>
In-Reply-To: <e87e855c-fc18-4e70-90f1-6758dff96114@app.fastmail.com>
References: 
 <CAJWOiuN8fuejkX1Tj0h=s_Fs2bGEtz-qdMZxRTC1s4at23y=Vw@mail.gmail.com>
 <94a57a5c-41bc-442d-a5e3-13eaea29053b@app.fastmail.com>
 <CAJWOiuPaLfn+3Ez4JuOoOk2+OhUhasYxYkgKywntjj1Ew41AZQ@mail.gmail.com>
 <7acfc0ad-74a1-47c3-92cc-2f6c330bdb04@heigl.org>
 <CAJWOiuPd67A7+CAhhHH538TaJGdgD3F0nK2tprCp-KOsk_nE1w@mail.gmail.com>
 <e87e855c-fc18-4e70-90f1-6758dff96114@app.fastmail.com>
Subject: Re: [PHP-DEV] [RFC] Optional Catch Block Body
Content-Type: multipart/alternative;
 boundary=2d2d59c1503a4ef4b3cf8940585389f0
From: rob@bottled.codes ("Rob Landers")

--2d2d59c1503a4ef4b3cf8940585389f0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable



On Fri, Aug 8, 2025, at 08:50, Rob Landers wrote:
> On Fri, Aug 8, 2025, at 07:57, Mihail Liahimov wrote:
>> Yeah, it seems to be problematic to use this syntax with finally bloc=
ks. Perhaps the optional catch block should be allowed only at the very =
end, but it sounds somehow doubtful.
>>=20
>> =D1=81=D1=80, 6 =D0=B0=D0=B2=D0=B3. 2025=E2=80=AF=D0=B3. =D0=B2 16:52=
, Andreas Heigl <andreas@heigl.org>:
>>> Hey Mihail
>>>=20
>>> Am 06.08.25 um 13:34 schrieb Mihail Liahimov:
>>> > Hi!
>>> >
>>> > At the moment, I can suggest this syntax:
>>> >
>>> > try {
>>> > // do something
>>> > } catch (SomeIgnorableException) finally {
>>> > // do something
>>> > }
>>> >
>>> I find that ... challenging
>>>=20
>>> When reading the code I now have to go to the end of the line to
>>> understand that the second
>>>=20
>>> // do something
>>>=20
>>> does not belong to the `try` but to the `finally`...
>>>=20
>>>=20
>>> And
>>>=20
>>> try {
>>>    // break stuff
>>> } catch (SomeIgnorableException)
>>> finally {
>>>    // do something regardless
>>> }
>>>=20
>>> seems boken due to the missing }
>>>=20
>>> But well....
>>>=20
>>> We just have to adapt to something like this:
>>>=20
>>> try {
>>>    // break stuff
>>> }
>>> catch (SomeIgnorableException)
>>> catch (Some OtherIgnorableException)
>>> finally {
>>>    // do something regardless
>>> }
>>>=20
>>> --
>>>                                                                ,,,
>>>                                                               (o o)
>>> +---------------------------------------------------------ooO-(_)-Oo=
o-+
>>> | Andreas Heigl                                                     =
  |
>>> | mailto:andreas@heigl.org                  N 50=C2=B022'59.5" E 08=C2=
=B023'58" |
>>> | https://andreas.heigl.org                                         =
  |
>>> +-------------------------------------------------------------------=
--+
>>> | https://hei.gl/appointmentwithandreas                             =
  |
>>> +-------------------------------------------------------------------=
--+
>>> | GPG-Key: https://hei.gl/keyandreasheiglorg                        =
  |
>>> +-------------------------------------------------------------------=
--+
>=20
> What about instead of at the end, we do it at the beginning?
>=20
> try ignore (SomeIgnorableException, OtherException) {
>   // break stuff
> } catch(UnexpectedException) {
>   // fix stuff
> } finally {
>   // do this anyway
> }
>=20
> Since ignore only can follow a try and any symbol other than a "{" is =
currently an error, I don't think we don't need to reserve "ignore" as a=
 keyword.
>=20
> It appears to be relatively easy to scan/read as well.
>=20
> =E2=80=94 Rob

Sorry, it should have read: "I don't think we need to reserve "ignore" a=
s a keyword".

=E2=80=94 Rob
--2d2d59c1503a4ef4b3cf8940585389f0
Content-Type: text/html; charset=utf-8
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE html><html><head><title></title></head><body><div><br></div><d=
iv><br></div><div>On Fri, Aug 8, 2025, at 08:50, Rob Landers wrote:</div=
><blockquote type=3D"cite" id=3D"qt" style=3D""><div>On Fri, Aug 8, 2025=
, at 07:57, Mihail Liahimov wrote:</div><blockquote type=3D"cite" id=3D"=
qt-qt" style=3D""><div dir=3D"ltr"><div dir=3D"ltr">Yeah, it seems to be=
 problematic to use this syntax with finally blocks. Perhaps the optiona=
l catch block should be allowed only at the very end, but it sounds some=
how doubtful.</div><div><br></div><div class=3D"qt-qt-gmail_quote qt-qt-=
gmail_quote_container"><div dir=3D"ltr" class=3D"qt-qt-gmail_attr">=D1=81=
=D1=80, 6 =D0=B0=D0=B2=D0=B3. 2025=E2=80=AF=D0=B3. =D0=B2 16:52, Andreas=
 Heigl &lt;<a href=3D"mailto:andreas@heigl.org">andreas@heigl.org</a>&gt=
;:</div><blockquote class=3D"qt-qt-gmail_quote" style=3D"margin-top:0px;=
margin-right:0px;margin-bottom:0px;margin-left:0.8ex;border-left-width:1=
px;border-left-style:solid;border-left-color:rgb(204, 204, 204);padding-=
left:1ex;"><div>Hey Mihail</div><div><br></div><div>Am 06.08.25 um 13:34=
 schrieb Mihail Liahimov:</div><div>&gt; Hi!</div><div>&gt;</div><div>&g=
t; At the moment, I can suggest this syntax:</div><div>&gt;</div><div>&g=
t; try {</div><div>&gt; // do something</div><div>&gt; } catch (SomeIgno=
rableException) finally {</div><div>&gt; // do something</div><div>&gt; =
}</div><div>&gt;</div><div>I find that ... challenging</div><div><br></d=
iv><div>When reading the code I now have to go to the end of the line to=
</div><div>understand that the second</div><div><br></div><div>// do som=
ething</div><div><br></div><div>does not belong to the `try` but to the =
`finally`...</div><div><br></div><div><br></div><div>And</div><div><br><=
/div><div>try {</div><div>&nbsp; &nbsp;// break stuff</div><div>} catch =
(SomeIgnorableException)</div><div>finally {</div><div>&nbsp; &nbsp;// d=
o something regardless</div><div>}</div><div><br></div><div>seems boken =
due to the missing }</div><div><br></div><div>But well....</div><div><br=
></div><div>We just have to adapt to something like this:</div><div><br>=
</div><div>try {</div><div>&nbsp; &nbsp;// break stuff</div><div>}</div>=
<div>catch (SomeIgnorableException)</div><div>catch (Some OtherIgnorable=
Exception)</div><div>finally {</div><div>&nbsp; &nbsp;// do something re=
gardless</div><div>}</div><div><br></div><div>--</div><div>&nbsp; &nbsp;=
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nb=
sp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;,,,</d=
iv><div>&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &=
nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nb=
sp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp=
; &nbsp; (o o)</div><div>+----------------------------------------------=
-----------ooO-(_)-Ooo-+</div><div>| Andreas Heigl&nbsp; &nbsp; &nbsp; &=
nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nb=
sp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp=
; &nbsp; &nbsp; &nbsp; &nbsp;|</div><div>| mailto:<a href=3D"mailto:andr=
eas@heigl.org" target=3D"_blank">andreas@heigl.org</a>&nbsp; &nbsp; &nbs=
p; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; N 50=C2=B022'59.5" E 08=C2=B0=
23'58" |</div><div>| <a href=3D"https://andreas.heigl.org" rel=3D"norefe=
rrer" target=3D"_blank">https://andreas.heigl.org</a>&nbsp; &nbsp; &nbsp=
; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; =
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;|</div><di=
v>+---------------------------------------------------------------------=
+</div><div>| <a href=3D"https://hei.gl/appointmentwithandreas" rel=3D"n=
oreferrer" target=3D"_blank">https://hei.gl/appointmentwithandreas</a>&n=
bsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbs=
p; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;|</div><div>+----------------------=
-----------------------------------------------+</div><div>| GPG-Key: <a=
 href=3D"https://hei.gl/keyandreasheiglorg" rel=3D"noreferrer" target=3D=
"_blank">https://hei.gl/keyandreasheiglorg</a>&nbsp; &nbsp; &nbsp; &nbsp=
; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; |</div>=
<div>+------------------------------------------------------------------=
---+</div></blockquote></div></div></blockquote><div><br></div><div>What=
 about instead of at the end, we do it at the beginning?</div><div><br><=
/div><div>try ignore (SomeIgnorableException, OtherException) {</div><di=
v>&nbsp; // break stuff</div><div>} catch(UnexpectedException) {</div><d=
iv>&nbsp; // fix stuff</div><div>} finally {</div><div>&nbsp; // do this=
 anyway</div><div>}</div><div><br></div><div>Since ignore only can follo=
w a try and any symbol other than a "{" is currently an error, I don't t=
hink we don't need to reserve "ignore" as a keyword.</div><div><br></div=
><div>It appears to be relatively easy to scan/read as well.</div><div><=
br></div><div id=3D"qt-sig121229152">=E2=80=94 Rob</div></blockquote><di=
v><br></div><div>Sorry, it should have read: "I don't think we need to r=
eserve "ignore" as a keyword".</div><div><br></div><div id=3D"sig1212291=
52">=E2=80=94 Rob</div></body></html>
--2d2d59c1503a4ef4b3cf8940585389f0--