Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:86798
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain belski.net from 85.214.73.107 cause and error)
To: "'Rasmus Lerdorf'" <rasmus@lerdorf.com>,
	"'Dmitry Stogov'" <dmitry@zend.com>
Cc: "'Bob Weinand'" <bobwei9@hotmail.com>,
	"'Kalle Sommer Nielsen'" <kalle@php.net>,
	"'Stanislav Malyshev'" <smalyshev@gmail.com>,
	"'Nikita Popov'" <nikita.ppv@gmail.com>,
	"'PHP internals'" <internals@lists.php.net>
References: <5586E5D1.4010901@lerdorf.com>	<CAF+90c9Nxr70100SeBKgaTGGyD6MDQjWYSvjn6ZdkaJbrCZqLA@mail.gmail.com>	<55870947.4060304@lerdorf.com>	<CAJW__o1fGEszJ7c3oP7wz0=TGWwmwKKYS823=7yz12Pm6Uej4A@mail.gmail.com>	<5587334C.2080401@lerdorf.com>	<CAF+90c_gkv=u5+4kf1aHJ_KE+ULP20Y-0hgGU2Zu+vXvhjp-qg@mail.gmail.com>	<55873676.6050706@gmail.com>	<55876B29.90804@lerdorf.com>	<CA+9eiLvupv0fV=mfFz0bLVXzE1mkTN4BN40SE96T6NaAZ+Vasg@mail.gmail.com>	<55881A72.4090403@lerdorf.com>	<CA+9eiLt=HD2EqVnX+o8Sm+vuUpqCOBBN=S_BDwWJDttuamc14w@mail.gmail.com>	<5588477E.7050109@lerdorf.com> <CA+9eiLt6ZZx=D9cEX64KGjb-0aAuiDn6f5eQ94qJQxRoRPBkkQ@mail.gmail.com> <55885D88.8060902@lerdorf.com>
In-Reply-To: <55885D88.8060902@lerdorf.com>
Date: Tue, 23 Jun 2015 00:14:24 +0200
Message-ID: <02ae01d0ad38$ce8a7a60$6b9f6f20$@belski.net>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="utf-8"
Content-Transfer-Encoding: quoted-printable
Thread-Index: AQKIM6boEtfxlpxsqPDy0Hn99EfxzgHhfpUzAL96+I0BczVjFwFWuKMPAeopdgEBtj7QvQJttk7+Acsp98kCdA3tuQEBpdvvAop/FvQBLcOH3wF6XxzIm5qdnMA=
Content-Language: en-us
Subject: RE: [PHP-DEV] hasType() for internal function parameters?
From: anatol.php@belski.net ("Anatol Belski")

Hi,

> -----Original Message-----
> From: Rasmus Lerdorf [mailto:rasmus@lerdorf.com]
> Sent: Monday, June 22, 2015 9:10 PM
> To: Dmitry Stogov
> Cc: Bob Weinand; Anatol Belski; Kalle Sommer Nielsen; Stanislav =
Malyshev;
> Nikita Popov; PHP internals
> Subject: Re: [PHP-DEV] hasType() for internal function parameters?
>=20
> On 06/22/2015 03:00 PM, Dmitry Stogov wrote:
> >
> >
> > On Mon, Jun 22, 2015 at 8:35 PM, Rasmus Lerdorf <rasmus@lerdorf.com
> > <mailto:rasmus@lerdorf.com>> wrote:
> >
> >     On 06/22/2015 01:27 PM, Dmitry Stogov wrote:
> >     > Actually, when you added type hints, php compiler stopped =
optimizing and
> >     > using ZEND_DEFINED (and others) instead of internal function =
calls, but
> >     > of course this shouldn't change behavior. I'll need to take a =
look into
> >     > difference.
> >
> >     Right, behaviour shouldn't change, but couldn't we also make it =
so that
> >     arginfo for internal calls is only used by reflection? We can do =
all the
> >     type checking we need right in ZPP as we do now. Let's just =
ignore
> >     arginfo entirely for these calls.
> >
> >
> > In general, we can, if we remove corresponding code in =
zend_vm_def.h,
> > and also some checks for ZEND_HAS_TYPE_INFO and internal functions =
in
> > zend_compile.c.
>=20
> I think that is the way to go. We didn't have any type info there =
before so we are
> not losing any functionality, and obviously adding it produces weird =
side effects
> and slows things down. Plus we should get a very small performance =
increase by
> removing the type info check entirely.
>=20
Are we talking about including this in 7.0?
-- If so - do you think we can have it ready short after alpha2?
---- If yes - great, let's do it.
---- If no - lets defer it for 7.1.

While I'm still confident we can stabilize it in a beta if there's a =
strong support, but better we're "boringly stable" in 7.0 than "shiny =
all in". Some side effect we can stabilize in beta? For the core? For =
external exts? It clearly suggests itself to check for a couple of step =
ahead.

Thanks

Anatol