Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:97072 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 85700 invoked from network); 19 Nov 2016 18:42:46 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 19 Nov 2016 18:42:46 -0000 Authentication-Results: pb1.pair.com smtp.mail=php@duncanc.co.uk; spf=permerror; sender-id=unknown Authentication-Results: pb1.pair.com header.from=php@duncanc.co.uk; sender-id=unknown Received-SPF: error (pb1.pair.com: domain duncanc.co.uk from 74.125.82.51 cause and error) X-PHP-List-Original-Sender: php@duncanc.co.uk X-Host-Fingerprint: 74.125.82.51 mail-wm0-f51.google.com Received: from [74.125.82.51] ([74.125.82.51:36128] helo=mail-wm0-f51.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id B4/42-10048-52D90385 for ; Sat, 19 Nov 2016 13:42:46 -0500 Received: by mail-wm0-f51.google.com with SMTP id g23so85397873wme.1 for ; Sat, 19 Nov 2016 10:42:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=duncanc-co-uk.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=sDKp0VlTfAOSH8qP2VetDKY7DFi6ZzfK9EjH/e0ZSts=; b=k+yG4KPfIsbBq4y/Eoa+rPJeoTdBdPf3L+YdoA/AduVNiJdBk5BZ7X0LcEm62PwYZI Rm1YH5A0lHsjef3d/WTbbORjSWK9GqH6+6BON8wbSqBpTaODPC5JYo32Eac48vA1BJ4e GfqRBHp5BXDZSTyylJ5IDpO36tD6p3TFpSD4M9kVpr4SJzcmvuEtEiBVt7yhKJLjnqSe R1aBbPXHaTdMSR0GYJuKrXmuzM+81fius+OWNYRmDkPjxdDxUIaRIQvgXLi86zVm5g+E CwCmFCzl/G1SXpN0slrNz840LTOKQWn9gMroK2rQcfbD281B5gBnZc2ivkjz3aMYYcGm za+w== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=sDKp0VlTfAOSH8qP2VetDKY7DFi6ZzfK9EjH/e0ZSts=; b=JOPLS0ojmSqdIg1u+SKtsyBUCBWZjNwO7H2t64o9dBWn11QU0OBC88633Zg2paS171 CRxp0KVUxrpNRv9VN8p7pY+Ha+vtxdjAmoE43ag1yprOHgjwWAalLzox1gaIJFf4ibbG TPVFbqtsG5Kc+nM5MLlB52meGAaJufkYKpFjORxcvMVmZFDMgFJbGcLRnqet/+1X1Vev LqWu0et9f3WOwgwyqXncmiXeaOFTLDM3e5in/9fqxe+gFwYZo+KrQ8pxBPtwpMmOsgi2 EPmtyF5KMJgrlRjfR6GCW9yBIYEB2J6zDGy5ofVPZ8+OZU8lHVFQrV1dW/Y1tLYExASQ aPmw== X-Gm-Message-State: AKaTC02kyVKC2HYW+jBg7vT4ZXfPg3Vm3vt1oV5j1Wo+uFxDqLRCRRZT7zlUYQ7sWKxL8A== X-Received: by 10.28.150.75 with SMTP id y72mr5031819wmd.47.1479580962333; Sat, 19 Nov 2016 10:42:42 -0800 (PST) Received: from mail-wm0-f50.google.com (mail-wm0-f50.google.com. [74.125.82.50]) by smtp.gmail.com with ESMTPSA id b7sm15502164wjm.39.2016.11.19.10.42.41 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Sat, 19 Nov 2016 10:42:41 -0800 (PST) Received: by mail-wm0-f50.google.com with SMTP id g23so85397358wme.1 for ; Sat, 19 Nov 2016 10:42:41 -0800 (PST) X-Received: by 10.46.9.21 with SMTP id 21mr3303295ljj.4.1479580961362; Sat, 19 Nov 2016 10:42:41 -0800 (PST) MIME-Version: 1.0 Received: by 10.114.202.135 with HTTP; Sat, 19 Nov 2016 10:42:40 -0800 (PST) X-Originating-IP: [86.170.70.235] In-Reply-To: References: Date: Sat, 19 Nov 2016 18:42:40 +0000 X-Gmail-Original-Message-ID: Message-ID: To: Stanislav Malyshev Cc: Internals Content-Type: multipart/alternative; boundary=001a114b18fa9e6ea00541abc985 Subject: Re: [PHP-DEV] Countable Type Hint From: php@duncanc.co.uk (Craig Duncan) --001a114b18fa9e6ea00541abc985 Content-Type: text/plain; charset=UTF-8 On 19 November 2016 at 18:36, Stanislav Malyshev wrote: > > > Should I bring *countable* to RFC? > > Nothing prevents one from having such interfaces or classes or traits if > they need it. I don't see any need of adding more special cases into the > language. Special cases are always bad design and we shouldn't make it > worse. > Nothing prevents it? As far as I'm aware there's no current way to type hint Countable or array. How would one add an interface that includes Countable and arrays? --001a114b18fa9e6ea00541abc985--