Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83359
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.215.52 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <012001d04d46$271dac90$755905b0$@tutteli.ch>
References: <011801d04a07$83ab1c00$8b015400$@php.net>
	<CABDNdAFQsbo-A-gijPCwYDOf3ts-yKpP0tAL--WUaLU26GB-AQ@mail.gmail.com>
	<016f01d04a3a$e9183220$bb489660$@php.net>
	<CAESVnVoM7YbmXA8hTG1O66j+6YX3Xx2Q3uj_F=TPjHA4ws=8JA@mail.gmail.com>
	<d8031ce52e9965c789887e8f7b687a4e@mail.gmail.com>
	<CAESVnVpA+M6iv_zbDmKTEF8Q1zKjwnbi1ucc=UyuUyRr+X+U3w@mail.gmail.com>
	<022801d04ab1$4a0c47d0$de24d770$@php.net>
	<1913e09d7f52541901d8574d2080a63f@mail.gmail.com>
	<CAAyV7nFD=BQ5dBYiKzhbOKTomKmWvruTnb=R_n9mYB-Lz1P9pg@mail.gmail.com>
	<7a5d96b34b98ec1f3ee17be7fa6a1e81@mail.gmail.com>
	<CAPhkiZxpYbaPN1370_HFTVnBA=Jg-rU8DrB2P+2dmRcJfGWPtw@mail.gmail.com>
	<2CBDEB67-3DE3-437D-9AF3-0E6A92027244@zend.com>
	<CAPhkiZwcD3h42=9eak4uP9n2GBE=v0LVP6Ncq9Oz7L91dJ5y5w@mail.gmail.com>
	<4cc0c81c7199a452534bb8edcdb19914@mail.gmail.com>
	<54E589F6.9030002@garfieldtech.com>
	<d62afd01c97a2d00466ac88579fa861c@mail.gmail.com>
	<54E66569.8000709@garfieldtech.com>
	<CAAyV7nG79GbQt_hcAsV15Ad-7k7KjDW43HTGyegHPoswDMNzJA@mail.gmail.com>
	<CAEZPtU7-m2a5REraebFVGiu4h67NgFrGHv+nMQ1aJrBdeEq8JQ@mail.gmail.com>
	<CA+9eiLtBbpSF5dxfrgtCB8MPYmNbZemvyCFp6BBiCpAwxp1nRQ@mail.gmail.com>
	<CAAyV7nGjB=swFiFV9JCnwDUVOCfKRq5+v1rKbwK1tzVmBWnnmQ@mail.gmail.com>
	<CA+9eiLszxy=bnmmufeyF9frOfsYp6O7euFrd4f68W=wN5-ovBQ@mail.gmail.com>
	<012001d04d46$271dac90$755905b0$@tutteli.ch>
Date: Fri, 20 Feb 2015 18:28:46 -0500
Message-ID: <CAAyV7nGCY_6BBX236M09pV8Qw8bmGDc=7ic32JTWd8Ls79HoTA@mail.gmail.com>
To: Robert Stoll <php@tutteli.ch>
Cc: Dmitry Stogov <dmitry@zend.com>, "internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Reviving scalar type hints
From: ircmaxell@gmail.com (Anthony Ferrara)

Robert,



On Fri, Feb 20, 2015 at 2:48 PM, Robert Stoll <php@tutteli.ch> wrote:
> Hi Dmitry and Anthony,
>
> I was skimming through your conversation about JIT/AOT and that type hints would allow to optimise few things.
> I do not know if you are aware of the following but type hints can be passed by. Hence neither weak or strict type hints allow to predict the type (even if only locally):
>
> function handler($errno, $errstr, $errfile, $errline){
>     return true;
> }
> set_error_handler("handler");
>
> class Foo{}
> function foo(int $x, Foo $f){
>   var_dump($x, $f);
>   $y = $x; //should be int as well, right?
> }
> foo(new Foo(), 1);
>
> Sure, this is something which is hopefully never ever done but anyway, a language needs to be able to handle all cases.
>
> As a side notice, if the exceptions in the engine RFC is accepted, then this would not be a problem anymore:
> https://wiki.php.net/rfc/engine_exceptions_for_php7
>
> Personally, I would expect that the execution is stopped after the error_handler was called (after user was able to log etc.)  - at least in strict mode.

That's a very good point.

Ideally exceptions will help there as it will simplify things
significantly. But even without them, it should be possible to bypass
execution.

Considering I'm not targetting 7 (I've updated the RFC to hint this),
we can choose what to do later depending on the exceptions result
(whether to bypass execution in strict mode only, or for all calls).

Thanks for the insight

Anthony