Re: [RFC][VOTE] Object typehint

On 09.11.2016 at 21:53, Christoph M. Becker wrote: > On 09.11.2016 at 17:28, Joe Watkins wrote: > >> I want to explain why I voted no on this: >> >> I think it's significantly less useful without variance, variance is >> something that is usually difficult to achieve in PHP, but not for this >> feature in particular. > > Can you please elaborate what you mean with variance? I see some > practical use cases for covariance of a method with return type object, > but I don't see how contravariance could be achieved for parameters of > type object. > > If your suggestion is only about invariance of object return types, I'm ^^ should be covariance > not sure if this very special case would make sense (for consistency > reasons). > > Cheers, > Christoph > >> I absolutely want it, but I want it to be properly useful. >> >> If the RFC were halted and patched to include variance, I'd +1 it. >> >> Cheers >> Joe >> >> On Sun, Nov 6, 2016 at 5:28 PM, Michał Brzuchalski <michal@brzuchalski..com> >> wrote: >> >>> Hi everyone, >>> >>> Two weeks have passed since this RFC was put to discussion here. >>> >>> Therefore, I'm going to put it to a vote for inclusion in PHP 7.2. >>> >>> Voting starts today, 2016-11-06, and will close after two weeks on the >>> Sunday 2016-11-20 at midnight. >>> >>> The RFC and voting widget can be found here: >>> https://wiki.php.net/rfc/object-typehint >>> >>> It's a normal 2/3 majority required vote. >>> >>> Thanks! >>> -- >>> regards / pozdrawiam, >>> -- >>> Michał Brzuchalski >>> about.me/brzuchal >>> brzuchalski.com >>> >> >