Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:103522
MIME-Version: 1.0
References: <CAFMT4NpN9H9gKgps17bxtO5t83zMKEM5tU2tthdP0B8EJpzNuQ@mail.gmail.com>
 <2701692.XuXcyRlYA4@vulcan> <CAFMT4NpW3wTj5E3mjMCzCqrRVUGDqFWS7Bi6H=bq5p7he-2dKw@mail.gmail.com>
In-Reply-To: <CAFMT4NpW3wTj5E3mjMCzCqrRVUGDqFWS7Bi6H=bq5p7he-2dKw@mail.gmail.com>
Date: Tue, 27 Nov 2018 19:04:30 -0200
Message-ID: <CANA3DevQLSE3j1cbmk2XRVv8wny9452CNvYHNmAj2WYZe33aJg@mail.gmail.com>
To: Levi Morrison <levim@php.net>
Cc: larry@garfieldtech.com, internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="00000000000058b412057babccb8"
Subject: Re: [PHP-DEV] [RFC][Discuss] Covariant return- and contravariant
 parameter- types
From: marcospassos.com@gmail.com (Marcos Passos)

--00000000000058b412057babccb8
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Supporting `static` return would come in handy to define interfaces for
immutable objects.

Em ter, 27 de nov de 2018 =C3=A0s 19:01, Levi Morrison <levim@php.net> escr=
eveu:

> On Tue, Nov 27, 2018 at 11:36 AM Larry Garfield <larry@garfieldtech.com>
> wrote:
> >
> > On Monday, November 26, 2018 3:25:52 PM CST Levi Morrison wrote:
> > > I am happy to announce my latest RFC, [Covariant Returns and
> > > Contravariant Parameters][1], is open for discussion. If you do not
> > > recognize those terms then hopefully the introduction coupled with th=
e
> > > [examples][2] will help. Here is one snippet that demonstrates
> > > covariant return types:
> > >
> > > <?php
> > > interface Repository {
> > >   function fetch(int $id): ?Entity;
> > > }
> > >
> > > class UserFactory implements Repository {
> > >   function fetch(int $id): ?UserEntity {
> > >     /* Since UserEntity is an Entity, this is now allowed */
> > >     /* ... implementation ... */
> > >   }
> > > }
> > > ?>
> > >
> > > Covariant return types and contravariant parameter types are highly
> > > requested features; here are a few of the bug reports:
> > >
> > >   * https://bugs.php.net/bug.php?id=3D71825
> > >   * https://bugs.php.net/bug.php?id=3D72442
> > >   * https://bugs.php.net/bug.php?id=3D75385
> > >   * https://bugs.php.net/bug.php?id=3D75823
> > >
> > > There is a [preliminary implementation][3] that is available. It will
> > > not be rebased during discussion to allow people to check out the cod=
e
> > > and get updates without worrying about it breaking. The code quality
> > > can definitely be improved, and there are still a few todo comments i=
n
> > > the code.
> > >
> > > Please do not discuss the items found in [Future Scope][4] as part of
> > > this thread, which includes discussing types such as `mixed`,
> > > `scalar`, `numeric`, etc.
> > >
> > > I look forward to your feedback, and especially with your
> > > experimentation with the implementation.
> > >
> > > Levi Morrison
> > >
> > >   [1]:
> > >
> https://wiki.php.net/rfc/covariant-returns-and-contravariant-parameters
> > > [2]:
> > >
> https://wiki.php.net/rfc/covariant-returns-and-contravariant-parameters#e=
xa
> > > mples [3]:
> > > https://github.com/php/php-src/compare/master...morrisonlevi:variance=
2
> [4]:
> > >
> https://wiki.php.net/rfc/covariant-returns-and-contravariant-parameters#f=
ut
> > > ure_scope
> >
> > Looks like fun!
> >
> > Would this also include allowing a return type of `static`, which would
> be
> > useful for the "Return the object that was invoked" case or "return a n=
ew
> > instance of the same object" case?  Currently we're limited to `return
> self`,
> > which is, of course, not the same thing and less flexible.
> >
> > --Larry Garfield
>
> It does not. To be honest, I did not think of it until your question.
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--00000000000058b412057babccb8--