Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:108137
MIME-Version: 1.0
References: <CAF+90c-vPOmHzjoDFNi3m+iTgfz6dJep1DAHuCFcQDctjeEJMg@mail.gmail.com>
 <e30686d8-4836-4403-851f-06f296ccbafd@www.fastmail.com> <CAH0Uv3Hp2GUwKX0YOs-E1-1W9LkXzc71pBsvNQRnRvNicw=YdQ@mail.gmail.com>
 <CALKiJKqTpuyUQ3gu=hVZumxdjut-9HiRBXLy9DRNf41bihe=pw@mail.gmail.com>
 <CAF+90c8fuNLUy4drT1F84E6=WRe44VD9Zq6T+4bT+41BfD5q+Q@mail.gmail.com>
 <CAH0Uv3EZRVtV0ZxV5BBRMo8SVvzB9=g9D4m6kSySApHqFZH9Fg@mail.gmail.com>
 <d477b5d8-e7a5-4016-43e7-ba3da1a210c5@xs4all.nl> <CAH0Uv3E_kCgSxT9t_5StjVWGejAoU3-SvbhG2dwHKCr=nPzkTQ@mail.gmail.com>
 <5BAB2404-5491-41CC-9A66-6423D482BA3B@newclarity.net>
In-Reply-To: <5BAB2404-5491-41CC-9A66-6423D482BA3B@newclarity.net>
Date: Wed, 15 Jan 2020 08:09:37 +0100
Message-ID: <CAC5V6gi3gA1wwmx0SQCN+qJYHPp+b=Wg5gdQUngYFrjk-7UHFg@mail.gmail.com>
To: Mike Schinkel <mike@newclarity.net>
Cc: Andreas Hennings <andreas@dqxtech.net>, Nikita Popov <nikita.ppv@gmail.com>, 
	php internals <internals@lists.php.net>
Content-Type: text/plain; charset="UTF-8"
Subject: Re: [PHP-DEV] [RFC] Static return type
From: guilliam.xavier@gmail.com (Guilliam Xavier)

Hi,

After reading all the thread:

I'm +1 for `: static` as proposed by this RFC.

I'm also +1 for `: $this`, preferably also in PHP 8.0, but that could
be a separate RFC:
- I like the idea to check it at compile time (like `: void`), i.e.
that all the return points of the method be syntactically `return
$this;` (maybe also allow `return $this->otherMethod(/*...*/);` where
the forwarded method is itself declared `: $this`).
- Regarding covariance, `$this` should probably be treated like a
"subtype" of `static`.
- I don't like the idea of making an implicit `return $this;` in
addition to the check.

I'm -1 for `: fluent` or `fluent function` as an alternative to `: $this`.

I'm -0.5 for `: new` / `: clone`.

About "what comes out is the same type as what goes in", I would wait
for generics.

-- 
Guilliam Xavier