Re: [RFC-Discuss] Scalar Type Declarations v0.5

Leigh, >> Internal Functions Like ceil() Return Unexpected Types > > My opinion is that functions should return sane types for their > intended purpose, and functions that do not should be "fixed". I agree 100%. I just think that's outside the scope of this proposal. >> Static Analysis Is Possible With Weak Declarations > > The advocacy of allowing accepts_float(returns_int()); > doesn't help > the cause of static analysers in strict mode. Java does exactly this and is statically analyzable. So...? > Still no mention of a way to enable strict by default. So lets try > some different rationale. If I personally want to develop in strict > mode, I can do that with this proposal, I can add a declare to the top > of every file and be as strict as I like. However not everyone else is > going to want to use my code in strict mode, so they will have to go > and remove some/all of those strict declarations. (Lets take callbacks > being evaluated in the context they are called rather than the one > they are created in). I would like a way of enabling strict by > default, immutable to scripts so that users cannot be forced into this > mode, and lets the radicals and the weaklings* play together in > harmony. I missed that discussion point, so I've just added it: https://wiki.php.net/rfc/scalar_type_hints_v5#why_not_add_an_ini_setting_for_default_mode > For the rest of the RFC, I either agree with or have no strong > opinions about the points raised. Thanks for the input :-) Anthony