Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:93753
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain seld.be designates 74.125.82.46 as permitted sender)
To: internals@lists.php.net
References: <BLU437-SMTP785CB095BE08FBC1CC2FAFE2580@phx.gbl>
 <0A.C5.62101.1C860575@pb1.pair.com>
 <a58caf44-dae1-c544-804f-089360243607@gmail.com>
 <BLU436-SMTP187447B1819635CD2E6962E2580@phx.gbl>
 <68b821ac-d71f-4be5-8dca-ae94db332630@gmail.com>
 <BLU436-SMTP208CF2757B67BA061C8EEADE2580@phx.gbl>
 <20160603101659.D466A1A81FC5@dd1730.kasserver.com>
 <6d448fd8-8fda-d795-accb-6b96cd128ccd@gmail.com>
 <BLU436-SMTP1304B21C2B677B1455A9E54E2590@phx.gbl>
 <652fdc5a-a164-2054-ed61-305a2b72330a@gmail.com>
 <BLU436-SMTP97AAE59E20D9AF3436B732E2590@phx.gbl>
 <c2609544-31cb-d699-4352-6e5497ee1d9b@gmail.com>
 <20160603142421.346B81A81725@dd1730.kasserver.com>
 <9814df22-9854-616b-bf02-d0742efefaff@gmail.com>
 <20160603145857.8413F1A8323C@dd1730.kasserver.com>
Message-ID: <1fb072b3-9b9e-1dfd-6b39-7875587b6c7d@seld.be>
Date: Fri, 3 Jun 2016 16:16:19 +0100
User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.1.1
MIME-Version: 1.0
In-Reply-To: <20160603145857.8413F1A8323C@dd1730.kasserver.com>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [RFC] [PRE-VOTE] Union types
From: j.boggiano@seld.be (Jordi Boggiano)

On 03/06/2016 15:58, Thomas Bley wrote:
> To me type declarations help to make my code easier and more consistent.
> Having multiple scalar types for a single function parameter is against this goal since I need extra logic to handle this.
>
> e.g. function foo(string | int | bool $bar) {} makes no sense in weak mode since string can already handle int, bool, float, etc.
>
> having different behavior between
> foo("42"); function foo(string $b) {echo gettype($b);} // string
> and
> foo("42"); function foo(string | int $b) {echo gettype($b);} // integer
> also makes no sense to me.
>
> Things like string|array are useful (e.g. str_replace) since we can cast the string easily to array and calling a string parameter with an array would give a fatal error.

That is a useful case, and don't forget also return values, e.g. all the 
XX|false-kind of return types it's also nice to have.

I don't think for function arguments it's massively useful and I doubt 
it'll get put everywhere, but it's nice to be able to express this when 
you have to.

Cheers

-- 
Jordi Boggiano
@seldaek - http://seld.be