Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83310
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.212.179 as permitted sender)
Content-Type: text/plain;
	charset=utf-8
Mime-Version: 1.0 (1.0)
In-Reply-To: <CAAyV7nGjB=swFiFV9JCnwDUVOCfKRq5+v1rKbwK1tzVmBWnnmQ@mail.gmail.com>
Date: Fri, 20 Feb 2015 17:24:43 +0200
Cc: Dmitry Stogov <dmitry@zend.com>, Pierre Joye <pierre.php@gmail.com>,
 Larry Garfield <larry@garfieldtech.com>,
 "internals@lists.php.net" <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <BED93CC3-2132-4C41-AB4C-CA80E8CB073E@zend.com>
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>
 <CA+9eiLsNJVndxSwNY1bcCJ8C2vAE05STz6KdPNUT6tsHZbtxhw@mail.gmail.com>
 <CAEZPtU7-m2a5REraebFVGiu4h67NgFrGHv+nMQ1aJrBdeEq8JQ@mail.gmail.com>
 <CA+9eiLtBbpSF5dxfrgtCB8MPYmNbZemvyCFp6BBiCpAwxp1nRQ@mail.gmail.com> <CAAyV7nGjB=swFiFV9JCnwDUVOCfKRq5+v1rKbwK1tzVmBWnnmQ@mail.gmail.com>
To: Anthony Ferrara <ircmaxell@gmail.com>
Subject: Re: [PHP-DEV] Reviving scalar type hints
From: zeev@zend.com (Zeev Suraski)


> On 20 =D7=91=D7=A4=D7=91=D7=A8=D7=B3 2015, at 16:55, Anthony Ferrara <ircm=
axell@gmail.com> wrote:
>=20
> verification and static analysis aren't enough?
>=20

Anthony,

While IMHO they're not enough to warrant substantial deviation from PHP's be=
havior, this is a subjective question that others might answer differently.

But there's also an objective issue.  There's a serious question mark whethe=
r the type of hint - strict, coercive of otherwise can have any sort of impl=
ications on one's ability to conduct static analysis, JIT or AOT (I'm bringi=
ng those up again since they're closely related in terms of what you can or c=
annot infer).=20

Now, I'll contend that even though I don't think we are, perhaps we're missi=
ng something.  But at the very least it should be clear to the list there's s=
erious doubt on whether there's any extra value there even if they do seem s=
tatic analysis critical.  If there is, it's likely to be very, very limited i=
n scope.

> That's not saying you should want to use statically typed for
> everything. And nor would I support PHP moving to pure statically
> typed (which is why the proposal I'm backing doesn't).

We're on the same page here.  But the kinds of static analysis benefits you s=
eem to believe we can get from strict type hints would require that - strong=
 typing, variable declarations, perhaps changes to casting rules - not just a=
round that narrow interface between callers and callees.  Thankfully that's n=
ot on the table.

Thanks,

Zeev=