Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:63473
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.160.42 as permitted sender)
MIME-Version: 1.0
Sender: amaury.bouchard@gmail.com
In-Reply-To: <507D801E.7070508@lerdorf.com>
References: <9570D903A3BECE4092E924C2985CE485612B6434@MBX202.domain.local>
 <CAFMT4NquQ4-YfhEonj-8b+Zxt3zJ4-0aqB5vuwQywDm2nyQ69A@mail.gmail.com>
 <507D133A.4040701@sugarcrm.com> <CAPaKmRnVQVJBgjhrA2E4fBgfZ2M9XpuzOQjkpi+zsUScAPC7hA@mail.gmail.com>
 <507D801E.7070508@lerdorf.com>
Date: Tue, 16 Oct 2012 18:31:49 +0200
Message-ID: <CAPaKmRnVAx79uAhhA_YBjYgfbqTaG_WgAhdSC-DuE7zy7cBiog@mail.gmail.com>
To: Rasmus Lerdorf <rasmus@lerdorf.com>
Cc: Stas Malyshev <smalyshev@sugarcrm.com>, Levi Morrison <morrison.levi@gmail.com>, 
	Clint Priest <cpriest@zerocue.com>, "internals@lists.php.net" <internals@lists.php.net>, 
	"Nikita Popov (nikita.ppv@gmail.com)" <nikita.ppv@gmail.com>
Content-Type: multipart/alternative; boundary=047d7b15a91715665f04cc2fb2b3
Subject: Re: [PHP-DEV] [PHP-DEV [RFC] Property Accessors v1.2 : Typehints /
 Accessor Syntax
From: amaury@amaury.net (Amaury Bouchard)

--047d7b15a91715665f04cc2fb2b3
Content-Type: text/plain; charset=ISO-8859-1

2012/10/16 Rasmus Lerdorf <rasmus@lerdorf.com>

> The rule in PHP for any sort of type hinting is that it is only done for
> non-coercable types. In cases where there is simply no way to recover
> from passing the wrong type, it is good to catch it as early as
> possible. Extending this to also cover scalar coercable types would be
> disastrous for the entire ecosystem and would completely change PHP.


My point was not about scalar types. It was about porting the logic of
parameters type hinting to object properties. Nothing more, nothing less.


And the fact that it is "optional" means absolutely nothing because once
> some piece of your system has "optionally" decided to use it you don't
> have the option not to abide by it, and it certainly isn't a hint, it is
> a strong type. You will end up casting every call to everything all the
> time just to be safe.
>

I use parameters type hinting everyday. I can say it's very useful. And I
never needed to cast anything.
If the object model is used wisely, and if type hinting is used as an
option (i.e. don't use it when you know you'll need "mixed" data), it's a
very good thing.

I don't see why it couldn't be as good for properties as it is for
parameters. But Stas said it was already discussed a lot here, so I give
up.  :-)

--047d7b15a91715665f04cc2fb2b3--