Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:96796
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.17.21 as permitted sender)
To: Joe Watkins <pthreads@pthreads.org>,
 =?UTF-8?Q?Micha=c5=82_Brzuchalski?= <michal@brzuchalski.com>
References: <CABdc3Wpx37dV28Z55kejhzFMpxADp-aN-oO8KWSriV_L59VAiw@mail.gmail.com>
 <CAL=_i_kTWEbfaANN99WFAnxf3RcvtpFozyqNn=ZZgVGQwwUa0Q@mail.gmail.com>
Cc: PHP Internals List <internals@lists.php.net>
Message-ID: <0c171a20-c72d-4157-1117-6628a52dd1f0@gmx.de>
Date: Wed, 9 Nov 2016 21:53:30 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
MIME-Version: 1.0
In-Reply-To: <CAL=_i_kTWEbfaANN99WFAnxf3RcvtpFozyqNn=ZZgVGQwwUa0Q@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 8bit
Subject: Re: [PHP-DEV] [RFC][VOTE] Object typehint
From: cmbecker69@gmx.de ("Christoph M. Becker")

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
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
>>
>