Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92434
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.192.178 as permitted sender)
To: bishop@php.net
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>
Cc: PHP internals <internals@lists.php.net>
Message-ID: <571581C7.7010901@gmail.com>
Date: Mon, 18 Apr 2016 17:54:31 -0700
User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:38.0)
 Gecko/20100101 Thunderbird/38.7.1
MIME-Version: 1.0
In-Reply-To: <CAEYWF=6+t_Td5Gb4grOdkDogFZaEOxKs7FYonK9OsOuuybOncQ@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [VOTE] Catching Multiple Exception Types
From: smalyshev@gmail.com (Stanislav Malyshev)

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.
-- 
Stas Malyshev
smalyshev@gmail.com