Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:86770
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain lerdorf.com designates 209.85.220.172 as permitted sender)
Message-ID: <55870947.4060304@lerdorf.com>
Date: Sun, 21 Jun 2015 14:58:15 -0400
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
MIME-Version: 1.0
To: Nikita Popov <nikita.ppv@gmail.com>
CC: PHP internals <internals@lists.php.net>
References: <5586E5D1.4010901@lerdorf.com> <CAF+90c9Nxr70100SeBKgaTGGyD6MDQjWYSvjn6ZdkaJbrCZqLA@mail.gmail.com>
In-Reply-To: <CAF+90c9Nxr70100SeBKgaTGGyD6MDQjWYSvjn6ZdkaJbrCZqLA@mail.gmail.com>
Content-Type: multipart/signed; micalg=pgp-sha1;
 protocol="application/pgp-signature";
 boundary="Nc6X8JqfUhoT0sGdiHLTTad2je8tW9SDb"
Subject: Re: [PHP-DEV] hasType() for internal function parameters?
From: rasmus@lerdorf.com (Rasmus Lerdorf)

--Nc6X8JqfUhoT0sGdiHLTTad2je8tW9SDb
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

On 06/21/2015 02:44 PM, Nikita Popov wrote:
> The difference here is that ustrlen() has an argument type specified in=

> arginfo, while strlen() triggers an error through
> zend_parse_parameters(). We have practically no arginfo-level type
> annotations in the standard library.

Obviously we can't look into a function to check what it is passing to
ZPP, but maybe ZPP could be made smarter and have it fill in the arginfo
if it isn't there. That sounds slow though.

Or we bite the bullet and fix the arginfo everywhere to make it
consistent. It wouldn't be that hard to write a script to generate the
bulk of it.

I just don't like the fact that a parameter can raise a type error when
it claims to not have a type. It makes writing static analysis and other
type checking tools much more complicated.

-Rasmus


--Nc6X8JqfUhoT0sGdiHLTTad2je8tW9SDb
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: OpenPGP digital signature
Content-Disposition: attachment; filename="signature.asc"

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlWHCUcACgkQlxayKTuqOuCVswCfUlcq1szluZJooN4oU2RanPcf
fJoAnieQQlCnrFLqgpADvfHUYxFOCehB
=pamU
-----END PGP SIGNATURE-----

--Nc6X8JqfUhoT0sGdiHLTTad2je8tW9SDb--