Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:93743
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.48 as permitted sender)
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>
To: internals@lists.php.net
Message-ID: <652fdc5a-a164-2054-ed61-305a2b72330a@gmail.com>
Date: Fri, 3 Jun 2016 13:18:49 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.1.1
MIME-Version: 1.0
In-Reply-To: <BLU436-SMTP1304B21C2B677B1455A9E54E2590@phx.gbl>
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] [RFC] [PRE-VOTE] Union types
From: rowan.collins@gmail.com (Rowan Collins)

On 03/06/2016 12:59, Bob Weinand wrote:
>> function l(string | float $x) { echo gettype($x); }
>> l("1.5a"); // I would expect string, but float would succeed if attempted
>
> Exact matches *ALWAYS* match without coercion.

Gah, I keep making that mistake in my examples. I did say I was 
struggling to get my head around things! ;)

I'm still missing an explanation of exactly where you derived the 
current proposed rules from, though. The RFC just states "these rules 
are not an invention of this proposal", but goes on to say "applies PHP 
casting rules in a sane way", which implies some decisions were involved 
in drawing up these rules.

I think you may be right that the rules are as simple as they can be, 
and I don't want to waste too much of your time, but a basic summary of 
the reasoning used would be much appreciated.

Regards,
-- 
Rowan Collins
[IMSoP]