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 <mic...@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
>>>
>>
>
--
PHP Internals - PHP Runtime Development Mailing List
To unsubscribe, visit: http://www.php.net/unsub.php
