Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:78718
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.214.173 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAFMT4NrMi2bmbjK7Jt3q+778RRoiWc2Dd-dRUwg3nR6-Go3WZQ@mail.gmail.com>
References: <CAFMT4NrMi2bmbjK7Jt3q+778RRoiWc2Dd-dRUwg3nR6-Go3WZQ@mail.gmail.com>
Date: Wed, 5 Nov 2014 15:53:52 +0400
Message-ID: <CA+9eiLvkZZ_L7i9OmVF1e-QzGf1c_dfeqssS_9mT06xyttO+PQ@mail.gmail.com>
To: Levi Morrison <morrison.levi@gmail.com>
Cc: internals <internals@lists.php.net>, Nikita Popov <nikita.ppv@gmail.com>
Content-Type: multipart/alternative; boundary=001a113d2dfed5715305071b3b3b
Subject: Re: [PHP-DEV] [RFC][Vote] Return Types
From: dmitry@zend.com (Dmitry Stogov)

--001a113d2dfed5715305071b3b3b
Content-Type: text/plain; charset=UTF-8

Hi Levi,

The patch is here https://gist.github.com/dstogov/8deb8b17e41c1a5abf88

I improved memory consumption and unified return type-hinting error
behavior with existing argument type-hinting.
The main semantic must be unchanged.
I also removed part of Reflection changes. I think we should remove even
more and later introduce similar APIs for both argument and return
type-hinting at once.

Working on the patch I found few problems.

1) Return type-hinting for generators in existing state is useless. We may
use it for checking "yield" value instead of "returned" or just disable it
for now.

2) "Covariant" return type check is really problematic. It delays class
binding to run-time, and requires all classes, used in hints, to be loaded.
I would prefer to simplify this by using "Invariant" return types (similar
to arguments) and checking just class names (without their loading).

Thanks. Dmitry.


On Tue, Nov 4, 2014 at 5:01 AM, Levi Morrison <morrison.levi@gmail.com>
wrote:

> Dear Internals,
>
> I am pleased to announce that the return type RFC is now open for
> voting[1]. Note that the implementation needs a bit of cleaning up
> before merging should the RFC be accepted; Dmitry has already
> volunteered to help with that, but more eyes are welcome.
>
> A couple of things have changed in reflection[2] since the last
> iteration, but is otherwise the same.
>
> The implementation is slightly out of date with the RFC, but soon it
> will be updated to match.
>
>   [1]: https://wiki.php.net/rfc/returntypehinting#vote
>   [2]: https://wiki.php.net/rfc/returntypehinting#reflection
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>

--001a113d2dfed5715305071b3b3b--