Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:61166
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.42 as permitted sender)
MIME-Version: 1.0
Date: Thu, 12 Jul 2012 10:10:22 -0400
Message-ID: <CAAyV7nGwONAwPRRYLKswJtR-1RsrhQc5yS+dVuyZr1BHBW_NBA@mail.gmail.com>
To: internals@lists.php.net
Content-Type: multipart/alternative; boundary=00235452f64c3925b604c4a2862f
Subject: Iterable Type Hint
From: ircmaxell@gmail.com (Anthony Ferrara)

--00235452f64c3925b604c4a2862f
Content-Type: text/plain; charset=ISO-8859-1

Hello all,

At present, there's now way to type hint over a generic structure that it
iteratable using foreach(). You can accept arrays using the array hint, and
objects using traversable, but you cannot hint both. This yields code that
wants to accept that to look like this:

function foo($a) {
    if (!is_array($a) && !$a instanceof Traversable) {
        raise error;
    }
}

Would it be worth while adding a new type hint that checks for this
condition? I'd propose Iterable:

function foo(Iterable $a) {
    foreach ($a as ...) {}
}

It's just a quick thought and wanted some feedback on it.

Thanks

Anthony

--00235452f64c3925b604c4a2862f--