Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:67871
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.219.45 as permitted sender)
MIME-Version: 1.0
Sender: patrick.allaert@gmail.com
In-Reply-To: <CAMUwpuRC8WfrR26W+1hVgXDMt28OQXek68w=9YEGs2ueEiOewg@mail.gmail.com>
References: <CAA9esyS0YL=biVS37ix-yBea7RmZXPnhVk_xKjfz6x+gfN5LNw@mail.gmail.com>
	<CAL+t6cF9JTr9e=A15LvhfgN0DaV8_k4SuEDxQ408fNAAx=8Z_A@mail.gmail.com>
	<CAOX1NOfBPTggj6-WA=ArXjw1UvhUbVC=+FjCYvk6Bgp856biFg@mail.gmail.com>
	<CACwt+Je1vS7MkqShM8+FaDJmAoyaTDCWtTSOuOwG4iWUnyvKHA@mail.gmail.com>
	<CAMUwpuRC8WfrR26W+1hVgXDMt28OQXek68w=9YEGs2ueEiOewg@mail.gmail.com>
Date: Wed, 26 Jun 2013 16:21:13 +0200
Message-ID: <CACwt+JfoZPuTYk0S3stoDdAftcRB1hAspXNQU4EBkVaX2uiStw@mail.gmail.com>
To: Julien Pauli <jpauli@php.net>
Cc: Maxwell <Max@maxvandervelde.com>, Sherif Ramadan <theanomaly.is@gmail.com>, 
	Florin Patan <florinpatan@gmail.com>, "internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Request for comments - new PHP feature: return typing
From: patrickallaert@php.net (Patrick ALLAERT)

2013/6/26 Julien Pauli <jpauli@php.net>:
> But what Sherif said proves as well the limits of the idea. PHP is not
> strongly typed. So each check, should it be type hinting or return type
> hinting, has to be done at runtime , which is bad for performances.

It doesn't mean you have to use it, just that it might be used instead
of implementing a manual check in every function/method callers, or,
alternatively, in the function/method itself.
Being done at runtime by the language will for sure not be worst for
performance than doing it manually in pure PHP.

> Not talking about the type juggling which could lead the programmer as
> shooting himself.

Sure! Hence why *if* this is taken into account, it should really be
done the same way as it is done for input parameter hinting, to not
introduce what we already don't want there.