Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83025
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.223.181 as permitted sender)
References: <CAESVnVoZYiMWQk1Ydc-9wbkJo7Ru_4mrUtrubW=Rh=QKK9o8TA@mail.gmail.com>
	<CAF+90c_S3xT07F-4smHeD=BTuSG9VQZxZ==mhyOzDuBw5QPX_Q@mail.gmail.com>
	<54E3E27B.2010903@lerdorf.com> <CAF+90c8o8GtO9=7JJ3Jmjzg-=qVAD1aiQaU32joOeD6XH_f4hg@mail.gmail.com>
In-Reply-To: <CAF+90c8o8GtO9=7JJ3Jmjzg-=qVAD1aiQaU32joOeD6XH_f4hg@mail.gmail.com>
MIME-Version: 1.0
Thread-Index: AQKz6wpj8b81mnwJq1LfxWbU4ZJyQgGjcksIAbrU1N8Bn0wufZsGzLog
Date: Wed, 18 Feb 2015 09:00:01 +0200
Message-ID: <2f99c47df51fa6c73131032ec50fade0@mail.gmail.com>
To: Nikita Popov <nikita.ppv@gmail.com>, Rasmus Lerdorf <rasmus@lerdorf.com>
Cc: Sara Golemon <pollita@php.net>, PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: RE: [PHP-DEV] Scalar Type Hints v0.4
From: zeev@zend.com (Zeev Suraski)

> -----Original Message-----
> From: Nikita Popov [mailto:nikita.ppv@gmail.com]
> Sent: Wednesday, February 18, 2015 3:06 AM
> To: Rasmus Lerdorf
> Cc: Sara Golemon; PHP internals
> Subject: Re: [PHP-DEV] Scalar Type Hints v0.4
>
> The inability to implicitly cast "123" to int is pretty much the KEY
> distinction
> between weak and strict scalar typehints (those pesky value-dependent type
> checks). If the strict typing mode doesn't offer this, what's the point at
> all?

I am wondering what the point is indeed with preventing "123" to 123.  So
far, all the concrete use cases people brought up had to do with "Apple" or
"100 dogs", but nobody ever seems to be able to explain why converting "123"
to 123 is likely to be a problem real world.  Is it really just static
analyzers?

Zeev