Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:96808
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain kelunik.com from 81.169.146.216 cause and error)
MIME-Version: 1.0
In-Reply-To: <0c171a20-c72d-4157-1117-6628a52dd1f0@gmx.de>
References: <CABdc3Wpx37dV28Z55kejhzFMpxADp-aN-oO8KWSriV_L59VAiw@mail.gmail.com>
 <CAL=_i_kTWEbfaANN99WFAnxf3RcvtpFozyqNn=ZZgVGQwwUa0Q@mail.gmail.com> <0c171a20-c72d-4157-1117-6628a52dd1f0@gmx.de>
Date: Thu, 10 Nov 2016 10:11:49 +0100
Message-ID: <CANUQDCgHMu9X=mWZtAumCBOdGKYaenmf2Hz1rAspZDGnfCTuuA@mail.gmail.com>
To: "Christoph M. Becker" <cmbecker69@gmx.de>
Cc: Joe Watkins <pthreads@pthreads.org>, =?UTF-8?Q?Micha=C5=82_Brzuchalski?= <michal@brzuchalski.com>, 
	PHP Internals List <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e0117740f7f56ed0540eec33e
Subject: Re: [PHP-DEV] [RFC][VOTE] Object typehint
From: me@kelunik.com (Niklas Keller)

--089e0117740f7f56ed0540eec33e
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

2016-11-09 21:53 GMT+01:00 Christoph M. Becker <cmbecker69@gmx.de>:

> 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 i=
s
> > 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).
>

We already have it for iterable -> array. We would have it for all other
types if there wouldn't be an implementation issue.

Regards, Niklas

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=C5=82 Brzuchalski <michal@brzucha=
lski.
> .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=C5=82 Brzuchalski
> >> about.me/brzuchal
> >> brzuchalski.com
> >>
> >
>
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--089e0117740f7f56ed0540eec33e--