Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:75490
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.182 as permitted sender)
MIME-Version: 1.0
Sender: morrison.levi@gmail.com
In-Reply-To: <20140714170149.GE27743@phcomp.co.uk>
References: <08503591-EFC8-48E6-984E-FFC292C5EA5F@ajf.me>
	<alpine.DEB.2.10.1407141536380.4247@whisky.home.derickrethans.nl>
	<AF61F548-FADC-428F-B76F-1BB82C645D2C@ajf.me>
	<alpine.DEB.2.10.1407141552290.4247@whisky.home.derickrethans.nl>
	<53C3F70A.7010706@gmail.com>
	<3aa29e080d70c843713e19a952dfbad6@mail.gmail.com>
	<CAAyV7nGMb=nn-_k9MHictPyGLeSfVSSwrzEZs37Ab0PV08GoFw@mail.gmail.com>
	<20140714170149.GE27743@phcomp.co.uk>
Date: Mon, 14 Jul 2014 11:06:19 -0600
Message-ID: <CAFMT4Np74gry1XrzA-PDriQVEA-qQz8mRuWdpwrTLCQeHTAVvA@mail.gmail.com>
To: internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [RFC] Scalar Type Hinting With Casts (re-opening)
From: levim@php.net (Levi Morrison)

On Mon, Jul 14, 2014 at 11:01 AM, Alain Williams <addw@phcomp.co.uk> wrote:
> On Mon, Jul 14, 2014 at 12:25:22PM -0400, Anthony Ferrara wrote:
>
>> IMHO, strict hints are dangerous in the context of PHP because PHP's
>> types can change in unpredictable ways. A variable that was an integer
>> can turn into a float through seemingly integer operations. Example:
>> $a / $b * $b will result in a float unless $b divides $a (even though
>> for sane values of $a and $b, it will be exactly representable as an
>> int).
>
> But if you have:
>
>     function foo(int $a) {
>         ...
>         $a = 3 / 2;
>     }
>
> What do you expect $a to contain ? I would suggest integer 1.

I would expect the same result as 3.0 / 2.0, as would most every new programmer.