Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92278
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 157.56.111.103 as permitted sender)
To: Levi Morrison <morrison.levi@gmail.com>, internals
	<internals@lists.php.net>
Thread-Topic: [PHP-DEV] [RFC] Union Types
Thread-Index: AQHRlgBjHidIyU53D0CZRHg5J534aZ+JGcf3
Date: Thu, 14 Apr 2016 07:59:46 +0000
Message-ID: <BY2PR0201MB1784EBF0BEC04219E8E26F27BF970@BY2PR0201MB1784.namprd02.prod.outlook.com>
References: <CAFMT4NpJM_kaHLVuZ9OjghD7YkLi24jpBYnOZ=-43zb3-DNZPg@mail.gmail.com>
In-Reply-To: <CAFMT4NpJM_kaHLVuZ9OjghD7YkLi24jpBYnOZ=-43zb3-DNZPg@mail.gmail.com>
Accept-Language: en-US
Content-Language: en-US
spamdiagnosticoutput: 1:23
spamdiagnosticmetadata: NSPM
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-MS-Exchange-CrossTenant-originalarrivaltime: 14 Apr 2016 07:59:46.3657
 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Hosted
X-MS-Exchange-CrossTenant-id: 32210298-c08b-4829-8097-6b12c025a892
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BY2PR0201MB1784
Subject: Re: [PHP-DEV] [RFC] Union Types
From: dmitry@zend.com (Dmitry Stogov)

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.=20

________________________________________
From: Levi Morrison <morrison.levi@gmail.com>
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