Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:87200
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.41 as permitted sender)
MIME-Version: 1.0
Sender: morrison.levi@gmail.com
In-Reply-To: <55A789B5.60906@php.net>
References: <CAHMUw2GiRT6OFvrRiuCiikHF_tLu316wN9VG_pQ7vTXcXtJ40w@mail.gmail.com>
	<1436967838.8300.16.camel@kuechenschabe>
	<CAMUwpuQ5uCnic9PQTrzdg1=FLd_pthfuL_av49awtY7MYsER4A@mail.gmail.com>
	<CAFMT4NqN2M1iDd+x4LrtaisZdsffN9YGScazk0e-JG1xGNq8PQ@mail.gmail.com>
	<47DA8928-322C-4869-809F-BABDCA20FFB5@gmail.com>
	<CAEPJduk_1CbaxeVXr6LMZLohPizAng5c8aeJGTCx2sErk67iJA@mail.gmail.com>
	<55A778C7.1040100@gmail.com>
	<55A789B5.60906@php.net>
Date: Thu, 16 Jul 2015 09:23:17 -0600
Message-ID: <CAFMT4Npw-Oz_aXhdbkgOCUZFKyOho5J5hYfH9U7FrP+gsZ=zDg@mail.gmail.com>
To: Michael Wallner <mike@php.net>
Cc: Rowan Collins <rowan.collins@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Consolidation of Traversable and array operations
From: levim@php.net (Levi Morrison)

On Thu, Jul 16, 2015 at 4:38 AM, Michael Wallner <mike@php.net> wrote:
> On 16/07/15 11:26, Rowan Collins wrote:
>> Benjamin Eberlei wrote on 15/07/2015 21:19:
>>>
>>> But instanceof and anything related to Reflection or get_class or
>>> relevant code will fail on array.
>>
>>
>> Ah, yes, I hadn't thought of reflection type things. I don't think
>> instanceof would be a problem, because checking for any class or
>> interface other than Traversable would correctly return false; not sure
>> if it would make sense for "array() instanceof Traversable" to return
>> true or not...
>>
>
> Maybe some pseudotype like callable (e.g. iteratable) makes more sense then?

People have talked about creating types like so:

type Iterable = array | Traversable;

which could then be used as normal:

function foo(Iterable $f);

I understand that this is the second feature I have mentioned in this
train of thought that has not yet be officially proposed, but I think
it's relevant. Why special case a pseudo-type if we can have a generic
way of making them in user-land?