Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83634
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.220.169 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: Tue, 24 Feb 2015 11:15:53 +0400
Message-ID: <CA+9eiLvaOiFSeUtzawpkwO5B3pcPaBOc255o5RR+L1jUHXXHJg@mail.gmail.com>
To: Robert Stoll <php@tutteli.ch>
Cc: Anthony Ferrara <ircmaxell@gmail.com>, PHP Internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e0115f048122d89050fd04a6b
Subject: Re: [PHP-DEV] Reviving scalar type hints
From: dmitry@zend.com (Dmitry Stogov)

--089e0115f048122d89050fd04a6b
Content-Type: text/plain; charset=UTF-8

On Fri, Feb 20, 2015 at 10: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.
>
>
right. I know this of course. and this makes type hints useless.


> 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
>

"exceptions in the engine" are going to fix this.

Thanks. Dmitry.



>
> 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.
>
> Cheers,
> Robert
>
>
>

--089e0115f048122d89050fd04a6b--