Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:96954
Return-Path: <cmbecker69@gmx.de>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 51691 invoked from network); 17 Nov 2016 14:25:56 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 17 Nov 2016 14:25:56 -0000
Authentication-Results: pb1.pair.com smtp.mail=cmbecker69@gmx.de; spf=pass; sender-id=pass
Authentication-Results: pb1.pair.com header.from=cmbecker69@gmx.de; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.17.20 as permitted sender)
X-PHP-List-Original-Sender: cmbecker69@gmx.de
X-Host-Fingerprint: 212.227.17.20 mout.gmx.net  
Received: from [212.227.17.20] ([212.227.17.20:61112] helo=mout.gmx.net)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id EB/E0-05303-1FDBD285 for <internals@lists.php.net>; Thu, 17 Nov 2016 09:25:55 -0500
Received: from [192.168.1.190] ([79.243.119.150]) by mail.gmx.com (mrgmx103
 [212.227.17.168]) with ESMTPSA (Nemesis) id 0Lkwpt-1cf3l23629-00ajWg; Thu, 17
 Nov 2016 15:25:49 +0100
To: Josh Di Fabio <joshdifabio@gmail.com>, Craig Duncan <php@duncanc.co.uk>
References: <CAHE1EdvM514MOvTRGU-CV2+hSAvtaOP+Q=xTH1z99EkyoZb+9w@mail.gmail.com>
 <CAFMT4NpZzbtJAC2eRgXwNrSP=-HFdGO_GOkgyGhBFLkLAReK1Q@mail.gmail.com>
 <CAKiSzdB5d9DCEVbx0ifbKo_QuX+zWZq+bPR2ARfw2HXpV1Jn8g@mail.gmail.com>
 <CAHE1Edu0C0ek6eq1RFRqXfiNwezD_Nr-ADvwdPC53P5VEa5b_w@mail.gmail.com>
 <CAKiSzdCm0yu10SQu4bgh4G5yX5CDnpThzdpaZH_zH+idM+V9Dg@mail.gmail.com>
Cc: Internals <internals@lists.php.net>
Message-ID: <309c3113-af15-7797-cb09-db77edef7e29@gmx.de>
Date: Thu, 17 Nov 2016 15:25:47 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
MIME-Version: 1.0
In-Reply-To: <CAKiSzdCm0yu10SQu4bgh4G5yX5CDnpThzdpaZH_zH+idM+V9Dg@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:4YTcLAtMVDHWsen8NO2TxwzR3Yno8xEb6mnqOA4yZnL3Wmj38yD
 Fovc4gDunpx8jjhjacbX86DzRwOBD66fcAZSgjchleGjuZQHV5LkjIQftK6IhJjVnqsQr65
 9JaVlK8t5EGH12dZsp8jky2+vLLAAANu3wZrXTEPCsKzIu81rBYAkuCAjNRHaI5YtiNdYCN
 ENMCWX3euZvfVPh+vzp3Q==
X-UI-Out-Filterresults: notjunk:1;V01:K0:l8XZd3BrAvc=:EW6Mpm7uQttGyS2xqHvVYe
 iTr4z5CBl7J7A1TO5NWbVdzs+FAK139RVbY28ew4sRAIKPzP3OgMwhtFWfjuCPi6ZuDcjaVBq
 XspzeLKs2aqw/ioihiz27qLmIdAT0WehJH5gFHdZOPFR4V5AOZZ3wRnPo+FjywBd55HyEeCx2
 cD1XAe0w1rjF1ISstt0rAuboMQg31whnYzs7EdNOb8BGDYkzVmWNDdde8LJvQTOGfpOCQzCZq
 HAnmvel48Cluvb3IfKzlBbfvMSlbTEqs1nhVlkMEQRUWfEcKFFBrfVVoUBoL8SVzzASwvseYA
 9AGUFWCWs1UVOr40pm0kpkKHRueOm7CR2TnAxLmGpowzH6cEIv+ApycgC4/psEHo72PobSvB6
 0k/AFbiWSG9bp48ijk9Kp7554JXArqOhzFxIKQSxIW6jCUONzhSr3HcMYbez9DqF4FF/aKtzg
 EwAoymSjM7EfxcQ6LOtFBUAkqFUlL6TmkYKgkfK4xHuzVjJf5DRQ6UQS32m4WLD8/R6w3TLJi
 4hEwbCSPaG3bdxlIoFjsU5X2QnDER8LKID3x+lPXTP9Xe1MHM/IbCkXfRyXom+hqGV4t6z0YR
 delPRdsM/fayvDA/rndQWbKPp86Ya5Tk/HW/Zfe67jcd/pRh4TMKp/Erf7GKXZDzew1pQfssQ
 Lju8q8Ft0LNPN0WDgPPGR4k26rIPlR3Y4tM/yoIdMl4ZfluzUZGv4XCy6s3FJN5QAC0bMFCN7
 Pxb/rjT90wc02QmBS9GRGxwjxPFoDaiE5PG5IZorjE1Lptl5/YHqI3n41cg5WlXZ5iWWyzNCt
 9KIXjp4
Subject: Re: [PHP-DEV] Countable Type Hint
From: cmbecker69@gmx.de ("Christoph M. Becker")

On 17.11.2016 at 15:06, Josh Di Fabio wrote:

> Apologies, I thought you were simply proposing the following:
> 
> interface Countable
> {
>     function count(): int;
> }

We already have this as of PHP 5.1.0, see
<http://php.net/manual/en/class.countable.php>. :-)

-- 
Christoph M. Becker