Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:78117
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.223.179 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <op.xntvbwqoc9evq2@nikita-lenovo>
References: <CAFMT4No9Z-rDJ5s46vgrcOJPSxTDQZWs+K2myJt4H8517n=B=Q@mail.gmail.com>
 <CANaX5ndrPghjKsdWR6qxsR-wWnezOE8TRM1FAwUDj5QrdeJR6g@mail.gmail.com> <op.xntvbwqoc9evq2@nikita-lenovo>
Date: Thu, 16 Oct 2014 11:05:45 -0400
Message-ID: <CAFp73Xt6DQ0RwKyJd7FgVwivcfYG4y6B7xN_LKaK_GVTA8CYmA@mail.gmail.com>
To: Nikita Nefedov <inefedor@gmail.com>
Cc: Davey Shafik <davey@php.net>, internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e0122f722690a1805058b96f7
Subject: Re: [PHP-DEV] RFC: Return Types Update
From: guilhermeblanco@gmail.com ("guilhermeblanco@gmail.com")

--089e0122f722690a1805058b96f7
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable

Hi Levi,

This RFC is pretty consistent, small and focused on a specific part of the
overall previously desired support.
I do think many more subsequent RFCs would come up after this one to expand
return typehint support, but as it stands right now is extremely good. Any
further inclusion would drastically delay possible acceptance of this RFC
and a possible withdrawn, since every piece left out are different
discussion points.

+1 so far.

[]s,


On Thu, Oct 16, 2014 at 10:46 AM, Nikita Nefedov <inefedor@gmail.com> wrote=
:

> On Thu, 16 Oct 2014 18:39:06 +0400, Davey Shafik <davey@php.net> wrote:
>
>  I very much like this =E2=80=94 though I would say it was dependent on t=
he
>> nullable
>> types RFC (like splat and variadics were codependent).
>>
>> While I would like to see the introduction of a void type, I understand
>> and
>> respect the limitations on the RFC.
>>
>> However, one thing that I do think is missing, is the equivalent of Hack=
s
>> `$this` return type. You have `self` and `parent`, but I think without a
>> `static` equivalent you can break things:
>>
>> class foo {
>>      static public function instanceOf(): self {
>>            return new static();
>>      }
>> }
>>
>> class bar extends foo { }
>>
>> foo::instanceOf(); // new foo, this is fine, returns `self`.
>> bar::instanceOf(); // new bar, no longer `self`
>>
>
> Hi,
>
> bar is considered as instance of foo so shouldn't be any problem.
> Otherwise it would break LSP
>
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>


--=20
Guilherme Blanco
MSN: guilhermeblanco@hotmail.com
GTalk: guilhermeblanco
Toronto - ON/Canada

--089e0122f722690a1805058b96f7--