Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:103512
MIME-Version: 1.0
References: <CAFMT4NpN9H9gKgps17bxtO5t83zMKEM5tU2tthdP0B8EJpzNuQ@mail.gmail.com>
In-Reply-To: <CAFMT4NpN9H9gKgps17bxtO5t83zMKEM5tU2tthdP0B8EJpzNuQ@mail.gmail.com>
Date: Mon, 26 Nov 2018 19:32:25 -0200
Message-ID: <CANA3DeuvaO1giTwfTGZwRgv-tKv-_ZtvZwFdZ_4uAjXyHwv2eQ@mail.gmail.com>
To: Levi Morrison <levim@php.net>
Cc: internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary="000000000000590e35057b98120b"
Subject: Re: [PHP-DEV] [RFC][Discuss] Covariant return- and contravariant
 parameter- types
From: marcospassos.com@gmail.com (Marcos Passos)

--000000000000590e35057b98120b
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

I'm waiting for it for a long time! Thank you for putting effort on this!

Em seg, 26 de nov de 2018 =C3=A0s 19:26, Levi Morrison <levim@php.net> escr=
eveu:

> 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 the
> [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 code
> and get updates without worrying about it breaking. The code quality
> can definitely be improved, and there are still a few todo comments in
> 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=
xamples
>   [3]:
> https://github.com/php/php-src/compare/master...morrisonlevi:variance2
>   [4]:
> https://wiki.php.net/rfc/covariant-returns-and-contravariant-parameters#f=
uture_scope
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--000000000000590e35057b98120b--