Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92436
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.218.65 as permitted sender)
MIME-Version: 1.0
Reply-To: bishop@php.net
Sender: bishop.bettini@gmail.com
In-Reply-To: <571581C7.7010901@gmail.com>
References: <CADFyporyFgnMgetcEj8FZUFs1Lbc_VidBsxg5jBE7J4_OFzKTQ@mail.gmail.com>
 <CA+kxMuTFfqHZa4sXNv=Cfcm8w6eHdkKSGYiPdUiTJ1DGd6_VQQ@mail.gmail.com>
 <CADyq6sJP_BYEmmTWzJ4OvhcM9uto2EY+vefZTKovAaKBA8hs7w@mail.gmail.com>
 <CAEYWF=6+t_Td5Gb4grOdkDogFZaEOxKs7FYonK9OsOuuybOncQ@mail.gmail.com> <571581C7.7010901@gmail.com>
Date: Mon, 18 Apr 2016 21:09:06 -0400
Message-ID: <CAEYWF=4fTeYn9oDr_x+i6G2=boyspX07d8S2SH1A-ZdBqP_ZMA@mail.gmail.com>
To: Stanislav Malyshev <smalyshev@gmail.com>
Cc: PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113d74c46f6c050530cc21a2
Subject: Re: [PHP-DEV] [VOTE] Catching Multiple Exception Types
From: bishop@php.net (Bishop Bettini)

--001a113d74c46f6c050530cc21a2
Content-Type: text/plain; charset=UTF-8

On Mon, Apr 18, 2016 at 8:54 PM, Stanislav Malyshev <smalyshev@gmail.com>
wrote:

> Hi!
>
> > catch constitutes a formal signature, exactly like a function signature.
> In
> > my mind, this proposal and the union types proposal are intrinsically
> tied.
> > If we have one, we must have the other. If not, we're inducing a sadness.
>
> This has nothing to do with union types. It is just a shortcut for
> repeated catch() clauses, it does not introduce anything into type
> system, capture existing use case, and doesn't make anything more
> complicated. While union types introduce a lot of new things, make
> everything dealing with types more complicated and the need for them,
> unless we import a real lot of other concepts like type pattern matching
> is quite unclear. So I don't think this has much in common.
>

It's about the perception of consistency. "Oh, I can do this! Neat:"

function neat(Foo | Bar $a) { ... }

"But I can't do this? WTF?"

catch (FooException | BarException $ex) { ... }

And vice-versa. The perception revolves around the fact that both appear to
be signatured, regardless of how they're implemented in the engine.

--001a113d74c46f6c050530cc21a2--