Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:78753
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.218.48 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <545AA193.6060606@sugarcrm.com>
References: <CAFMT4NrMi2bmbjK7Jt3q+778RRoiWc2Dd-dRUwg3nR6-Go3WZQ@mail.gmail.com>
	<CA+9eiLvkZZ_L7i9OmVF1e-QzGf1c_dfeqssS_9mT06xyttO+PQ@mail.gmail.com>
	<5B1B375C-328B-40BD-B715-8EDA158B44CE@ajf.me>
	<545A912A.2050202@sugarcrm.com>
	<CA+9eiLv4b0T7HEmd9g-FtobhoHR72HUqtG5X0VvqNjxpkFFw6g@mail.gmail.com>
	<545AA193.6060606@sugarcrm.com>
Date: Thu, 6 Nov 2014 02:26:31 +0400
Message-ID: <CA+9eiLta4b725ig5tnu3ddP-3rr+fyuZ9G41pmHFkkzxVdatPg@mail.gmail.com>
To: Stas Malyshev <smalyshev@sugarcrm.com>
Cc: Andrea Faulds <ajf@ajf.me>, Levi Morrison <morrison.levi@gmail.com>, 
	internals <internals@lists.php.net>, Nikita Popov <nikita.ppv@gmail.com>
Content-Type: multipart/alternative; boundary=001a113dc2a6560da90507241239
Subject: Re: [PHP-DEV] [RFC][Vote] Return Types
From: dmitry@zend.com (Dmitry Stogov)

--001a113dc2a6560da90507241239
Content-Type: text/plain; charset=UTF-8

I would also prefer to use the same return type hinting compatibility rules
as for argument type-hinting.
May be it's less smart, but more practical.

http://en.wikipedia.org/wiki/Covariance_and_contravariance_%28computer_science%29

Thanks. Dmitry.

On Thu, Nov 6, 2014 at 1:15 AM, Stas Malyshev <smalyshev@sugarcrm.com>
wrote:

> Hi!
>
> >     No, classes are not loaded for type checks, since it would be
> pointless
> >     - if the class is not loaded, you could not have a value of that
> type,
> >     so if the class is not present, the answer is "no".
> >
> >
> > It's not true anymore, with this proposal.
>
> This is not good. The base premise of type checks always was if you
> don't use them, they are basically free - you don't load the classes,
> you don't do any work, until you actually need them, and by then your
> class is supposed to be already loaded, so again it's not costly. But if
> just declaring a type could trigger loading of code, this may
> significantly increase the footprint and loading time for classes that
> have many options but only use some of them at the time.
> Also, it is kind of weird that arguments require exact match but return
> types do not. Not that we care for consistency anymore...
> --
> Stanislav Malyshev, Software Architect
> SugarCRM: http://www.sugarcrm.com/
>

--001a113dc2a6560da90507241239--