Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83528
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.216.48 as permitted sender)
Message-ID: <54EA891B.6030405@gmail.com>
Date: Sun, 22 Feb 2015 21:57:47 -0400
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0
MIME-Version: 1.0
To: Stanislav Malyshev <smalyshev@gmail.com>, 
 Anthony Ferrara <ircmaxell@gmail.com>
CC: Zeev Suraski <zeev@zend.com>, Jefferson Gonzalez <jgmdev@gmail.com>, 
 PHP internals <internals@lists.php.net>
References: <2e4694f9805ee81ea0b2c79eab06c2d6@mail.gmail.com>	<CAAyV7nExeZ1xouJAsACm9AvAGuQw0e-0FgVdEOAyzsC5OEn5_Q@mail.gmail.com>	<54EA5EDA.8010605@gmail.com>	<CAAyV7nFt3KL_uH4HuA5xQ7HY+3_3=fq=pg0_U1aMrdirETC6LQ@mail.gmail.com>	<54EA6A99.5010609@gmail.com> <CAAyV7nE2Cfr0ohpPnXWnf5agmyGfeirNH-3UGyHEhsDaMvmsoQ@mail.gmail.com> <54EA7F15.9030606@gmail.com>
In-Reply-To: <54EA7F15.9030606@gmail.com>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Re: [PHP-DEV] JIT (was RE: [PHP-DEV] Coercive Scalar Type Hints RFC)
From: jgmdev@gmail.com (Jefferson Gonzalez)

On 02/22/2015 09:15 PM, Stanislav Malyshev wrote:
> We were talking about the case where the argument was even, you must
> have missed that part. If the argument is not even, indeed both models
> would produce the same error, no difference there. The only difference
> in your model vs. dynamic model so far is that you forced the developer
> to do manual (int) instead of doing much smarter coercive check on
> entrance of foo(). There's no performance improvement in that and
> there's reliability decrease.
>

How is coercive much smarter? Basically what coercive would do is 
similar to what the intval(), floatval(), etc... set of functions do 
with some type checking on the mix to ensure a value matches some set of 
rules.

How casting (int) could be such dangerous thing? Lets take for example 
this code:

echo (int) "whats cooking!";
echo intval("whats cooking");

Both statements print 0, so how is casting unsafe???