Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:80608
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.179 as permitted sender)
MIME-Version: 1.0
Reply-To: marcio3w@gmail.com
In-Reply-To: <54B86134.1020801@gmail.com>
References: <8DCD1B72-C81D-499E-B455-E4A042CD76E6@ajf.me> <CAPwsocGyv7dp8n=_E1QfrXRSbYZXcHZAPk5F=hDLB070i=SCGA@mail.gmail.com>
 <4E2073DE-0951-498C-97BB-DDAC094F11FA@ajf.me> <9a033dd1f223f854e760924d118ab812@mail.gmail.com>
 <CAKUjMCU-57cDpG5ZbDGv10dSqx=Ey40D-WbKxKSnC6oSYOfLWw@mail.gmail.com>
 <2ae0164cb9b9bf1c974d7a3c60af0466@mail.gmail.com> <F3BC55CD-38CD-42B7-AE0B-A6D34E3D3875@ajf.me>
 <6105ea99002e634373c09685310e26a6@mail.gmail.com> <D39D18B9-A9E5-430E-B00A-E0DE03DAFE8C@ajf.me>
 <e131f1aaf3ae0491f958171df36211f5@mail.gmail.com> <85F6139E-6332-4645-91B8-C852B07EA62A@ajf.me>
 <12433808-9D62-48D3-B66E-74572C61BF68@zend.com> <CALW=WEAzvXde8J6iQ9msG34P7Ukhq6qQONEDvzW+duNSTP-FSA@mail.gmail.com>
 <CAOsHV+tWaDZP-ZzxQs5XZb2rYvuSNnHW1+tcURKjsMJceps8NQ@mail.gmail.com>
 <54B85C2B.9000901@gmail.com> <CAOsHV+tqOEz5mTZJOqqu_esrRVsQxPQh-eEPYV+6uRv4-NQiyw@mail.gmail.com>
 <54B86134.1020801@gmail.com>
Date: Thu, 15 Jan 2015 22:11:47 -0300
Message-ID: <CAOsHV+ukrb1HQCHKzbMuzYB4q_xVj1U7pqdxXvVJBCzpzRPSCA@mail.gmail.com>
To: Stanislav Malyshev <smalyshev@gmail.com>
Cc: Andi Gutmans <andi@zend.com>, Andrea Faulds <ajf@ajf.me>, Zeev Suraski <zeev@zend.com>, 
	Richard Quadling <RQuadling@gmail.com>, Leigh <leight@gmail.com>, 
	PHP Internals List <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [RFC] Scalar Type Hints v0.2
From: marcio.web2@gmail.com (Marcio Almada)

> That's how all internal functions work. It looks like you didn't
> actually read my argument but just repeated "I want my use case".

Sorry, I read all you said and understood it perfectly.

> I know you want strict typing. I even proposed the option for it.

No, you're wrong. I NEVER EVER said we should have "strict typing" in
detriment of coercive types simply because there is no general
consensus about what "strict" means :)

But I also don't want to have coercive type hints to occupy the best
"syntax slot" that could be used for more strict type checks
in the future, being "strict" a negotiable term that deserves more
debate. I'm just claiming that `(int) $num` is more explicit, has no
BC breaks and should, IMMO, be the preferred choice.

You can disagree with that, of course, but don't quote "I want my use
case" as being something I said, wished or even though.

> But if you read "function bar(int $num)" in the PHP manual, coercive typing is
> exactly what it means. That's how it has been since forever.

Sorry, but this is the syntax used by the manual to describe functions
usage, not the actual implementation. The manual can be updated. The
implementation itself can't be changed after major version release.

2015-01-15 21:54 GMT-03:00 Stanislav Malyshev <smalyshev@gmail.com>:
> Hi!
>
>> The hole point (at least for me) for being against `function bar(int
>> $num){}` to achieve type coercion is that the syntactic equivalent
>> code `function bar(array $numbers){}` won't do any coercion - (array)
>> $numbers - because BC break would be too big to handle.
>>
>> Having `int|integer|bool|float|real|string` as coercive type hints
>> while `array` is "strict" looks like an ugly hack (no pun intended).
>
> That's how all internal functions work. It looks like you didn't
> actually read my argument but just repeated "I want my use case". I know
> you want strict typing. I even proposed the option for it. But if you
> read "function bar(int $num)" in the PHP manual, coercive typing is
> exactly what it means. That's how it has been since forever.
>
> It has nothing to do with arrays, because - repeating it in like 10000th
> time in this discussion - arrays are not scalars and PHP does not coerce
> non-scalars, only scalars. You can make scalars work like non-scalars -
> that would mean turning PHP into strongly typed language, like Python.
> --
> Stas Malyshev
> smalyshev@gmail.com