Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92440
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain garfieldtech.com from 66.111.4.26 cause and error)
To: internals@lists.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>
 <571581C7.7010901@gmail.com>
 <CAEYWF=4fTeYn9oDr_x+i6G2=boyspX07d8S2SH1A-ZdBqP_ZMA@mail.gmail.com>
 <571589AF.3090502@gmail.com>
Message-ID: <57159F7D.3050200@garfieldtech.com>
Date: Mon, 18 Apr 2016 22:01:17 -0500
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.6.0
MIME-Version: 1.0
In-Reply-To: <571589AF.3090502@gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [VOTE] Catching Multiple Exception Types
From: larry@garfieldtech.com (Larry Garfield)

On 04/18/2016 08:28 PM, Stanislav Malyshev wrote:
> Hi!
>
>> It's about the perception of consistency. "Oh, I can do this! Neat:"
>>
>> function neat(Foo | Bar $a) { ... }
> You shouldn't be able to do this, because it makes no sense - why would
> a function accept two random types and only them? That's probably a bad
> design - it should be one type or two functions.

I detailed use cases for both & and | here:

http://news.php.net/php.internals/92335

Admittedly Foo|Bar is of limited use, although there is some use. 
Foo&Bar, however, has plenty of uses.

I do agree with the sentiment that having Foo|Bar for catch but not for 
function signatures is going to confuse people.  If nothing else, it 
will result in even more pressure to add union types.

--Larry Garfield