Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92378
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.218.52 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <57126511.1010801@telia.com>
References: <CAFMT4NpJM_kaHLVuZ9OjghD7YkLi24jpBYnOZ=-43zb3-DNZPg@mail.gmail.com>
	<alpine.DEB.2.20.1604141008040.3330@whisky.home.derickrethans.nl>
	<CAFMT4Np8ay3d8ttRByTvAvuGAGnGrcci2FS+YCJvQFdN0kE7xg@mail.gmail.com>
	<57126511.1010801@telia.com>
Date: Sun, 17 Apr 2016 18:28:08 +0800
Message-ID: <CAKSD0w5QUuzsea=riSZEOa8TxtojhRcExa9X4tZLNOGh7heF2A@mail.gmail.com>
To: =?UTF-8?Q?Bj=C3=B6rn_Larsson?= <bjorn.x.larsson@telia.com>
Cc: Levi Morrison <morrison.levi@gmail.com>, Derick Rethans <derick@php.net>, 
	PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a113de8e43f29ab0530abb34c
Subject: Re: [PHP-DEV] [RFC] Union Types
From: cornelius.howl@gmail.com (Lin Yo-An)

--001a113de8e43f29ab0530abb34c
Content-Type: text/plain; charset=UTF-8

I think it will be better if union type is only allowed in the "type"
statement, like what you described in your RFC.

type Iterable = Array <http://www.php.net/array> | Traversable;

If we can always pre-define the types.

And only allow just one type for each function parameter in the function
prototype, then, I think the performance impact of type checking in the
runtime might be able to be reduced.

In other words, you predefine the union type before you used them, and the
union types can be reused in different functions, you don't write a lot
union type in function prototype.

--001a113de8e43f29ab0530abb34c--