Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:96948
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain duncanc.co.uk from 74.125.82.44 cause and error)
MIME-Version: 1.0
Date: Thu, 17 Nov 2016 12:52:32 +0000
Message-ID: <CAHE1EdvM514MOvTRGU-CV2+hSAvtaOP+Q=xTH1z99EkyoZb+9w@mail.gmail.com>
To: Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a11408008b8d4fc05417ea9e1
Subject: Countable Type Hint
From: php@duncanc.co.uk (Craig Duncan)

--001a11408008b8d4fc05417ea9e1
Content-Type: text/plain; charset=UTF-8

Hi everybody

Following on from the recent rfc for *count()* (
https://wiki.php.net/rfc/counting_non_countables) and the one for *iterable*
(https://wiki.php.net/rfc/iterable) it would be useful if there was a
`countable` type hint:

function foo(countable $thing)
{
    if (count($thing) > 0) {
        # ...
    }
}

However I think this it is much more useful when combined with *iterable*,
maybe something like (arraylike = iterable && countable)

function handle_records(arraylike $result)
{
    if (count($result) === 0) {
        handle_empty();
        return;
    }

    foreach ($result as $value) {
        handle_value($value);
    }
}

Does anybody have any thoughts on this?
Should I bring *countable* to RFC?
Should I bring *arraylike* to RFC?

Thanks,
Craig

--001a11408008b8d4fc05417ea9e1--