Re: [PHP-DEV] Re: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-29 Thread Yasuo Ohgaki
Hi Benoit, On Sun, Mar 29, 2015 at 2:49 AM, Benoit Schildknecht bensor...@neuf.fr wrote: Why hasn't it closed ? It's way past the 25th. Vote was closed before the end date. IIRC. It's withdrawn status, I suppose. Regards, -- Yasuo Ohgaki yohg...@ohgaki.net

[PHP-DEV] Re: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-28 Thread Benoit Schildknecht
Le Wed, 11 Mar 2015 16:10:44 +0100, Zeev Suraski z...@zend.com a écrit: The vote on the Coercive Scalar Type Hints is now open for voting. The latest version of the RFC includes changes discussed on internals@ last week: 1. Accept string-bool and int-bool conversions (false-bool is not

Re: [PHP-DEV] Re: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-15 Thread Dan Ackroyd
Hi Zeev, On 11 March 2015 at 18:48, Zeev Suraski z...@zend.com wrote: Rest assured that if I see that they both seem to be failing as we near the end of the voting time, I'll retract the Coercive STH RFC - and I'll actually vote in favor of the dual mode RFC, People sometimes tell me that

[PHP-DEV] Re: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Theodore Brown
Zeev, The vote on the Coercive Scalar Type Hints is now open for voting. The latest version of the RFC includes changes discussed on internals@ last week: 1.  Accept string-bool and int-bool conversions (false-bool is not supported) 2.  Accept leading/trailing spaces in string-number

Re: [PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Anthony Ferrara
Zeev, On Wed, Mar 11, 2015 at 4:50 PM, Zeev Suraski z...@zend.com wrote: -Original Message- From: Derick Rethans [mailto:der...@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

[PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Zeev Suraski
-Original Message- From: Zeev Suraski [mailto:z...@zend.com] Sent: Wednesday, March 11, 2015 11:28 PM To: 'Theodore Brown' Cc: 'internals@lists.php.net' Subject: RE: [VOTE][RFC] Coercive Scalar Type Hints Yes, with strict STH you'd know that more things fail during static analysis

RE: [PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Derick Rethans
On Wed, 11 Mar 2015, Zeev Suraski wrote: From: Anthony Ferrara [mailto:ircmax...@gmail.com] function bar(float $x) $foo = 1; bar($foo); // will definitely fail in strict mode No, actually it won't fail in strict mode:

RE: [PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Zeev Suraski
-Original Message- From: Derick Rethans [mailto:der...@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

[PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Theodore Brown
On Wednesday, March 11 2015 at 1:14 pm Zeev Suraski wrote: I don't believe strict STH would bring any meaningful gains for static analysis, no. Unlike the JIT/AOT advantages (on the same code) which I believe I've proven cannot be gained, I can't prove this one - because you can infer

[PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Zeev Suraski
The proposed coercion rules aren't clear. The first table in the RFC implies that string is accepted for bool hints, and the second table says this is unchanged. But the examples section states that foo - bool will raise an E_DEPRECATED error. I'm guessing this is a mistake, since you

[PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Zeev Suraski
-Original Message- From: Theodore Brown [mailto:theodor...@outlook.com] Sent: Wednesday, March 11, 2015 11:01 PM To: Zeev Suraski Cc: internals@lists.php.net Subject: RE: [VOTE][RFC] Coercive Scalar Type Hints On Wednesday, March 11 2015 at 1:14 pm Zeev Suraski wrote: I don't

RE: [PHP-DEV] Re: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Zeev Suraski
mode RFC, as much as I think it's bad, so that we have SOME sort of scalar type hinting in 7. Zeev -Original Message- From: Benoit Schildnecht [mailto:bensor...@neuf.fr] Sent: Wednesday, March 11, 2015 8:37 PM To: internals@lists.php.net Subject: [PHP-DEV] Re: [VOTE][RFC] Coercive

[PHP-DEV] Re: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Benoit Schildnecht
Hi, You are making a very huge mistake, IMHO. By having 2 conflicting RFC, you are taking the risk they both fail. And it won't do any good to the language. While you could have either proposed yours after the STH one if it would have failed, or create a new RFC to make the STH one evolve if it

Re: [PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Anthony Ferrara
Zeev, You also stated above that false-bool is not supported (I'm guessing you meant float-bool). So users would be able to pass 4.3 to a bool typehint, but not 4.3? This behavior seems very arbitrary and confusing. It may be confusing, but only academically so. Again, this approach tries

Re: [PHP-DEV] Re: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Leigh
On 11 March 2015 at 18:46, Eli e...@eliw.com wrote: Benoit ... actually Anthony's original proposal specifically was designed to be live at the same time as this alternative proposal. And it's even mentioned in the proposal (stating that it would stay open until the 13th or when the

Re: [PHP-DEV] Re: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Eli
Benoit ... actually Anthony's original proposal specifically was designed to be live at the same time as this alternative proposal. And it's even mentioned in the proposal (stating that it would stay open until the 13th or when the alternative proposal voting ended - whichever was later) So this

RE: [PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints

2015-03-11 Thread Zeev Suraski
-Original Message- From: Anthony Ferrara [mailto:ircmax...@gmail.com] Sent: Wednesday, March 11, 2015 8:28 PM To: Zeev Suraski Cc: Theodore Brown; internals@lists.php.net Subject: Re: [PHP-DEV] RE: [VOTE][RFC] Coercive Scalar Type Hints Zeev, You also stated above that false