Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:108059
MIME-Version: 1.0
References: <CAF+90c-vPOmHzjoDFNi3m+iTgfz6dJep1DAHuCFcQDctjeEJMg@mail.gmail.com>
 <e30686d8-4836-4403-851f-06f296ccbafd@www.fastmail.com>
In-Reply-To: <e30686d8-4836-4403-851f-06f296ccbafd@www.fastmail.com>
Date: Thu, 9 Jan 2020 15:22:44 +0100
Message-ID: <CAH0Uv3Hp2GUwKX0YOs-E1-1W9LkXzc71pBsvNQRnRvNicw=YdQ@mail.gmail.com>
To: Larry Garfield <larry@garfieldtech.com>
Cc: php internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000c8e6d1059bb5bed3"
Subject: Re: [PHP-DEV] [RFC] Static return type
From: andreas@dqxtech.net (Andreas Hennings)

--000000000000c8e6d1059bb5bed3
Content-Type: text/plain; charset="UTF-8"

> However, $this is not a real type, and it is unclear what the advantage
of specifying $this rather than static would be from a type system level
perspective.

Perhaps not from a "type system level", but from a more broad "enforced
contract" level.
E.g. IDEs or code inspection tools can warn if a method will not return
$this.
This also means recursive calls also need to return $this instead of static.

class C {
  function foo(): static {
    return clone $this;
  }
  function bar(): $this {
    return $this->foo();  // IDE can complain.
  }
}


On Thu, 9 Jan 2020 at 15:07, Larry Garfield <larry@garfieldtech.com> wrote:

> On Wed, Jan 8, 2020, at 5:42 AM, Nikita Popov wrote:
> > Hi internals,
> >
> > I would like to propose the following RFC, which allows using "static"
> as a
> > return type:
> >
> > https://wiki.php.net/rfc/static_return_type
> >
> > While I'm personally not a fan of late static binding, we do support it
> and
> > people do use it quite heavily, so I think we should also support it in
> > return types.
> >
> > Regards,
> > Nikita
>
>
> Is "squee!" an appropriate response on the list?  For interface authors
> this is a huge deal.
>
> --Larry Garfield
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--000000000000c8e6d1059bb5bed3--