Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:75558
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain devilix.net designates 209.85.219.50 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <53C563B3.6060905@gmail.com>
References: <08503591-EFC8-48E6-984E-FFC292C5EA5F@ajf.me>
	<16D48604-0C0A-4613-91A4-21392E3A2636@ajf.me>
	<CAGAGxbZG+c46P4E2pmEHNnEv=4DyTrHOuXbZu3zAOSU3M6-A-A@mail.gmail.com>
	<05CE2216-C5D9-4937-9F2E-AA1407284D9F@ajf.me>
	<53C460DF.5040304@sugarcrm.com>
	<53C53A96.2040303@gmail.com>
	<53C55342.1010207@sugarcrm.com>
	<53C563B3.6060905@gmail.com>
Date: Tue, 15 Jul 2014 22:43:38 +0300
Message-ID: <CAPhkiZwvqW=d3Ayn-=Hx5HfkcOFB+gQ6rRoFThxA8hESK4WLrA@mail.gmail.com>
To: Rowan Collins <rowan.collins@gmail.com>
Cc: Stas Malyshev <smalyshev@sugarcrm.com>, 
	"internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [RFC] Scalar Type Hinting With Casts (re-opening)
From: narf@devilix.net (Andrey Andreev)

On Tue, Jul 15, 2014 at 8:24 PM, Rowan Collins <rowan.collins@gmail.com> wrote:

> The logical conclusion from that is not to have type hints at all. So far,
> that is in fact the only consensus the PHP community has ever reached - not
> to have scalar type hints.

I'm sorry, I know what you mean here and I'm not criticizing you
specifically (in fact, I'm intentionally taking it ouf of context),
but that's "PHP internals", not "PHP community".

The PHP community that I know, wants to have _both_ type cast hinting
and strict type declarations.

PHP internals on the other hand, would rather argue to death over
which specific version of the two is the one and true way to rule them
all. We had that with the ArrayOf hints too, which turned into ArrayOf
vs Generics.

Heritage this, history that, consistent with X, inconsistent with Y,
don't forget the special case Z, "use another language", "that's been
proposed already" ... That is why an Nth iteration of scalar type
hinting is being discussed, not because it's so damn hard to do it
right. Doing it right here means to understand that everybody wants
scalar type hinting for different use cases and to try to satisfy use
case A without excluding use case B as a possibility in the future.

Sorry about the rather aggressive remark, but somebody had to say it.

Cheers,
Andrey.