Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92369
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain telia.com from 81.236.60.154 cause and error)
To: Levi Morrison <morrison.levi@gmail.com>, Derick Rethans <derick@php.net>
References: <CAFMT4NpJM_kaHLVuZ9OjghD7YkLi24jpBYnOZ=-43zb3-DNZPg@mail.gmail.com>
 <alpine.DEB.2.20.1604141008040.3330@whisky.home.derickrethans.nl>
 <CAFMT4Np8ay3d8ttRByTvAvuGAGnGrcci2FS+YCJvQFdN0kE7xg@mail.gmail.com>
Cc: PHP internals <internals@lists.php.net>
Message-ID: <57126511.1010801@telia.com>
Date: Sat, 16 Apr 2016 18:15:13 +0200
User-Agent: Mozilla/5.0 (Windows NT 6.3; WOW64; rv:38.0) Gecko/20100101
 Thunderbird/38.7.2
MIME-Version: 1.0
In-Reply-To: <CAFMT4Np8ay3d8ttRByTvAvuGAGnGrcci2FS+YCJvQFdN0kE7xg@mail.gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 8bit
Subject: Re: [PHP-DEV] [RFC] Union Types
From: bjorn.x.larsson@telia.com (=?UTF-8?Q?Bj=c3=b6rn_Larsson?=)

Den 2016-04-14 kl. 16:25, skrev Levi Morrison:
> On Thu, Apr 14, 2016 at 3:12 AM, Derick Rethans <derick@php.net> wrote:
>> On Wed, 13 Apr 2016, Levi Morrison wrote:
>>
>>> As alluded to in an earlier email today[1] I am now moving the Union
>>> Types RFC[2] to the discussion phase. The short summary of the RFC is
>>> that it permits a type declaration to be one of several enumerated
>>> types. For example, this is a potential signature for a multi-type map
>>> routine:
>>>
>>>      function map(callable $f, Array | Traversable $iterable);
>> I think what I am missing in the RFC is behaviour with scalar (weak)
>> typehints, and which type the variable in a class would be converted to.
>> Take for example:
> This is not missing in the RFC; see the section called Weak Scalar
> Types in Open Issues. However, it does not propose a solution. I have
> been assured by a few people that it is possible and it is just
> something that needs worked out.
>
Should the discussion phase lead to proposed conversion
rules in the RFC for scalar types or is it left for later?

Regards //Björn