Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:84575
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.212.182 as permitted sender)
References: <BAY178-W5945DBF18D50C0F91C760DE190@phx.gbl> <76c47c6fbd961958c10bc1a069377a34@mail.gmail.com>
 <CAAyV7nG1FAVHxtmi=C1Lakm_AfrhSuqSH9+-hS5Xz5zOYTdegw@mail.gmail.com>
 <2d48b241e682e59df6ab876b42663628@mail.gmail.com> <alpine.DEB.2.11.1503112035520.5941@whisky.home.derickrethans.nl>
In-Reply-To: <alpine.DEB.2.11.1503112035520.5941@whisky.home.derickrethans.nl>
MIME-Version: 1.0
Thread-Index: AQD1YWXqQx6MzBD1VX0WwX4EEwdHWAHgk7pSAio5GUwCu5r9pQKIIxRHnoNBK9A=
Date: Wed, 11 Mar 2015 22:50:05 +0200
Message-ID: <e0d2f8ec318322c85d7d620869ec37f1@mail.gmail.com>
To: Derick Rethans <derick@php.net>
Cc: internals@lists.php.net
Content-Type: text/plain; charset=UTF-8
Subject: RE: [PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints
From: zeev@zend.com (Zeev Suraski)

> -----Original Message-----
> From: Derick Rethans [mailto:derick@php.net]
> Sent: Wednesday, March 11, 2015 10:37 PM
> To: Zeev Suraski
> Cc: Anthony Ferrara; internals@lists.php.net
> Subject: RE: [PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints
>
> > You're right, sorry.  Reverse it then:
> > function bar(int $x)
> > $foo = 1.0;
> > bar($foo);  // will definitely fail in strict mode
>
> And it should fail, as logically it is the same as:
>
> $foo = 1.901 - 0.709 - 0.192;
> bar($foo);
>
> which is only 1, if you look at it with a small enough precision.

I'm not sure what you're trying to say.  The two pieces are indeed
identical from all points of view - static analysis, how it would behave
in strict type hinting, weak type hinting or coercive type hinting.

Zeev