Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:77204
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.181 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <alpine.DEB.2.11.1409142119140.4267@whisky.home.derickrethans.nl>
References: <6893A97A-EC4C-4124-B804-96E2A26B953F@ajf.me>
	<20140914000718.GB14312@phcomp.co.uk>
	<3177B936-50C1-4E5D-8687-FD235C72B411@ajf.me>
	<54153692.7050500@sugarcrm.com>
	<9CE963B0-E624-4267-BC2A-0F8D1F985DAE@ajf.me>
	<6f2236e18c61d30b247e1c6bb2de10f1@mail.gmail.com>
	<807E0A88-3643-4EE0-B96E-B779903CF163@ajf.me>
	<alpine.DEB.2.11.1409142119140.4267@whisky.home.derickrethans.nl>
Date: Sun, 14 Sep 2014 19:31:03 -0500
Message-ID: <CAN=kQJc8dLknXjfCBG_h8NjwcWHWnrzt=iNi6J7eFTFcwaESaA@mail.gmail.com>
To: Derick Rethans <derick@php.net>
Cc: Andrea Faulds <ajf@ajf.me>, Zeev Suraski <zeev@zend.com>, Stas Malyshev <smalyshev@sugarcrm.com>, 
	PHP Developers Mailing List <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [VOTE][RFC] Scalar Type Hinting with Cast
From: leverton@gmail.com (Matthew Leverton)

On Sun, Sep 14, 2014 at 3:22 PM, Derick Rethans <derick@php.net> wrote:
> We can either have casting where:
>
>         function bar(int $foo) { }
>         bar("42");
>
> Means the same as:
>
>         function bar($foo) { }
>         bar((int) "42");
>
> Or we can have it as a strict cast, or we can have it like it currently
> (ie, not at all). I can live with those three options, but not an
> option where casting/checking does something different again.
>

I totally agree with this. I can understand any of the following:

1) function f(int $a) { } == f( (int) $a); -- with NO notices
2) function f(int $a) {} means $a must be exactly type int -- or
recoverable error is thrown
3) current behavior (no scalar type hints)

But a new set of rules that require a 23x7 table to describe what's
going on ... not a big fan.

--
Matthew Leverton