Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:97145
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.217.179 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <87d52a15-5fbf-a6fe-fea3-638c24186d99@mabe.berlin>
References: <CA+kxMuS7BJyJOo0p-+8CF+bKy5oTLWLJVygA=u89iNHPXjENRQ@mail.gmail.com>
 <87d52a15-5fbf-a6fe-fea3-638c24186d99@mabe.berlin>
Date: Wed, 23 Nov 2016 09:25:43 -0200
Message-ID: <CAEsg9X2-FdwMdDW5jEDcecX5c1pfpk-nVp-0PKYHCCq0TdjAow@mail.gmail.com>
To: Marc Bennewitz <dev@mabe.berlin>
Cc: PHP Internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [RFC][DISCUSSION] Object type hint, now with added variance
From: david.proweb@gmail.com (David Rodrigues)

Marc Bennewitz wrote:
> If I declare a return type of "object" and extends that to return "static" it doesn't compile because "static" is not a valid return type yet.
> https://3v4l.org/lp3AB/rfc#version=rfc-typed-properties

I think that it is need too, because it will avoid reference the class
by name when you need return it - but not is a biiig problem too.

2016-11-23 9:07 GMT-02:00 Marc Bennewitz <dev@mabe.berlin>:
>
>
> Am 23.11.2016 um 01:52 schrieb Dan Ackroyd:
>>
>> Hi,
>>
>> This is the reintroduction of the Object Type RFC for discussion.
>>
>> There was previously strong feedback from people who would prefer that
>> the inheritance checks for methods that use object types should be
>> co/contravariant. This has been added to the RFC.
>>
>> https://wiki.php.net/rfc/object-typehint
>
>
> I like this RFC :)
>
> And I have a question where I'm not sure if that should be catched by this
> RFC, too:
>
> If I declare a return type of "object" and extends that to return "static"
> it doesn't compile because "static" is not a valid return type yet.
>
> https://3v4l.org/lp3AB/rfc#version=rfc-typed-properties
>
> class Test {
>     public static function factory() : object {
>         return new static();
>     }
> }
>
> class Test2 extends Test {
>     public static function factory() : static {
>         return parent::factory();
>
>     }
> }
>
>
>>
>> cheers
>> Dan
>> Ack
>>
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>



-- 
David Rodrigues