Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92280
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.169 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <BY2PR0201MB1784EBF0BEC04219E8E26F27BF970@BY2PR0201MB1784.namprd02.prod.outlook.com>
References: <CAFMT4NpJM_kaHLVuZ9OjghD7YkLi24jpBYnOZ=-43zb3-DNZPg@mail.gmail.com>
	<BY2PR0201MB1784EBF0BEC04219E8E26F27BF970@BY2PR0201MB1784.namprd02.prod.outlook.com>
Date: Thu, 14 Apr 2016 16:52:00 +0800
Message-ID: <CAKSD0w5-oPZQgukEML+huP3kpe+s-crgtNWYFu9Rtf+MP+bGzQ@mail.gmail.com>
To: Dmitry Stogov <dmitry@zend.com>
Cc: Levi Morrison <morrison.levi@gmail.com>, internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11c23036f23a6f05306e01b3
Subject: Re: [PHP-DEV] [RFC] Union Types
From: cornelius.howl@gmail.com (Lin Yo-An)

--001a11c23036f23a6f05306e01b3
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

I think this will add more complexity to the runtime system. The type
hinting will be something we use to generate good JIT code, not just for
checking types.


Dmitry Stogov <dmitry@zend.com> =E6=96=BC 2016=E5=B9=B44=E6=9C=8814=E6=97=
=A5 =E6=98=9F=E6=9C=9F=E5=9B=9B=E5=AF=AB=E9=81=93=EF=BC=9A

> The RFC doesn't say anything about support for multiple class names.
>
> function foo(A|B|C $x)
>
> Support for multiple classes would lead to complex implementation.
>
> Thanks. Dmitry.
>
> ________________________________________
> From: Levi Morrison <morrison.levi@gmail.com <javascript:;>>
> Sent: Thursday, April 14, 2016 06:46
> To: internals
> Subject: [PHP-DEV] [RFC] Union Types
>
> 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);
>
> The second parameter `$iterable` is required to be of type Array or
> Traversable - any other type will error.
>
> I look forward to a helpful and meaningful discussion!
>
>   [1]: http://news.php.net/php.internals/92252
>   [2]: https://wiki.php.net/rfc/union_types
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--=20
Sent from Gmail Mobile

--001a11c23036f23a6f05306e01b3--