Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:75484
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.170 as permitted sender)
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>
 <A1902C97-2854-44C8-AA76-2551DF3F05E5@ajf.me> <3b06c592b0b88bb95d3ae7ea7a93d86f@mail.gmail.com>
 <6AF150D1-1398-43CA-977A-3CF3D51719F4@ajf.me>
In-Reply-To: <6AF150D1-1398-43CA-977A-3CF3D51719F4@ajf.me>
MIME-Version: 1.0
Thread-Index: AQJuUFVOlGiX172RfpkkW7aXwqSXwwHleMkPAd/qfJcBzHP03AGqtGtJAmKS0moBHXfO1gIOC4puAaFwLqSZ7vxPwA==
Date: Mon, 14 Jul 2014 19:27:36 +0300
Message-ID: <5b53012f7b5437d85cdf9972194aa34f@mail.gmail.com>
To: Andrea Faulds <ajf@ajf.me>
Cc: Rowan Collins <rowan.collins@gmail.com>, internals@lists.php.net
Content-Type: text/plain; charset=UTF-8
Subject: RE: [PHP-DEV] [RFC] Scalar Type Hinting With Casts (re-opening)
From: zeev@zend.com (Zeev Suraski)

> -----Original Message-----
> From: Andrea Faulds [mailto:ajf@ajf.me]
> Sent: Monday, July 14, 2014 7:12 PM
> To: Zeev Suraski
> Cc: Rowan Collins; internals@lists.php.net
> Subject: Re: [PHP-DEV] [RFC] Scalar Type Hinting With Casts (re-opening)
>
> > 2. It encourages developers to get the types straight instead of
> > relying on implicit casts.
>
> Your proposal is to just use implicit casts with no real failure cases;
isn't that
> encouraging developers not to care about using the correct types?

Not at all.  It encourages them to care about types in the PHP spirit.
You want to be more strict?  No problem, you have a very easy way to carve
out these specific cases by trapping E_CAST.

> > 4. It allows people to go extra strict very easily, by turning E_CASE
> > into errors.  My guesstimate is that the majority of people won't, but
> > it'll be possible and easy to do nonetheless.
>
> I really don't like that idea. If someone writes a function with type
hints,
> people shouldn't be able to make those type hints go away or become more
> or less strict. They should be consistent across environments and
contexts.

But that's exactly what you've been pushing (catching & ignoring
E_RECOVERABLE_ERROR), with two differences:
- You'd like it to default to the strict behavior instead of the lax,
PHP-like behavior
- That behavior will be inconsistent with casting;  Those 'similar, but
different' are the most annoying kinds of inconsistencies IMHO...

I do believe that the vast majority of people would want '32 ' and "42\n"
to silently convert to 32/42, and will generally not care much about
'32abc' converting to 32 either for the sake of consistency.

Zeev