Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:62180
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.170 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <58A080733FC04ABDA51989286868DFC3@pc>
References: <A3182DBB9506422D9DCD5667BE48A0C4@pc>
	<CAFMT4NpOEFgDckOUdSx5x8h=H0a6FPubmyyPyvz-SMgxKgyhdw@mail.gmail.com>
	<CAAyV7nE-QTvXju3JayAaeLY1iDtUzWo6j+b66him11dzKAUKsw@mail.gmail.com>
	<502A86AA.2030203@sugarcrm.com>
	<E7BA2752DEBB42BF99C96CAECFBB2C80@pc>
	<502B57AE.4070801@sugarcrm.com>
	<C71A482540CF47919012C917818BC370@pc>
	<502B5C7F.1070708@sugarcrm.com>
	<6D84602D0F514FA3B82C11DBAF58AA53@pc>
	<502B5F8A.5000500@sugarcrm.com>
	<6281E4639C7248488268ACED88B86B7D@pc>
	<502B669E.7040702@sugarcrm.com>
	<1583D6716BFA4BF985E795A1363F465E@pc>
	<CAF+90c_meLG0XaocbStj69vQpwQzrcW4fgvSSODiifHaqnu4xw@mail.gmail.com>
	<58A080733FC04ABDA51989286868DFC3@pc>
Date: Wed, 15 Aug 2012 12:15:41 +0200
Message-ID: <CAF+90c8e1NXRoRiocz+-_1JS8satTCwsHrD1GsanYVzvTxqO_A@mail.gmail.com>
To: Stan Vass <sv_forums@fmethod.com>
Cc: Stas Malyshev <smalyshev@sugarcrm.com>, internals@lists.php.net
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [PHP-DEV] Inline typecasting / typehinting for classes and interfaces
From: nikita.ppv@gmail.com (Nikita Popov)

On Wed, Aug 15, 2012 at 12:01 PM, Stan Vass <sv_forums@fmethod.com> wrote:
> Just like with argument typehints.
> Point me to an argument typehint that is required for your code to run.
>
> You and Stas keep giving arguments against argument typehints, which is
> really awkward.

As already pointed out repeatedly, argument typehints serve the
purpose of defining an interface. No, they are not required to run the
code, that's true. But they still serve an important purpose for
object oriented programming (and, just to make sure that you don't
miss it again: That purpose is defining the interface). Variable
typehints do not, as far as I can see.

> I gave an example validating an array of Foo instances, which the current system doesn't solve.

Yes, and your system doesn't solve it either, or does it? As the
validation does not happen through a parameter typehint it does not
help defining the public interface. It only helps the IDE know the
type (which doc comments can also do).

Nikita