Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:87132
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain lerdorf.com designates 209.85.192.176 as permitted sender)
Message-ID: <55A36B84.2080809@lerdorf.com>
Date: Mon, 13 Jul 2015 00:40:52 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
MIME-Version: 1.0
To: Robert Stoll <php@tutteli.ch>, 
 'Larry Garfield' <larry@garfieldtech.com>,
 internals@lists.php.net
References: <CAObuZdsA6T7uTCPignr_9g1bAbd83hsTrv9mAg7jU=oY96C9+Q@mail.gmail.com> <CALW=WECOo-JDWgHbmy=eUAVWCxt-0m_9sP-JeXe1hc0SokH37w@mail.gmail.com> <55A16375.4000707@php.net> <CAOsHV+sV2p7aBWOro=D5+xV+LZvNrt4Au3R3SqcJDy9qdPj8ig@mail.gmail.com> <55A220D8.3090004@gmail.com> <CAOsHV+tEjzAnG4ygRj1=0JgO4ps4AbWFQVHFex0+GuY44rdZbA@mail.gmail.com> <55A2C1F2.8000301@garfieldtech.com> <55A30267.10204@lerdorf.com> <006201d0bd3b$da87d700$8f978500$@tutteli.ch>
In-Reply-To: <006201d0bd3b$da87d700$8f978500$@tutteli.ch>
Content-Type: multipart/signed; micalg=pgp-sha1;
 protocol="application/pgp-signature";
 boundary="OQTIJNHJvS5JX2lsvQnEOEHTKibiBkPDp"
Subject: Re: AW: [PHP-DEV] PHP7 and types
From: rasmus@lerdorf.com (Rasmus Lerdorf)

--OQTIJNHJvS5JX2lsvQnEOEHTKibiBkPDp
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

On 07/13/2015 12:16 AM, Robert Stoll wrote:
> Another point of discussion should be how strict a property type hint w=
ill be. Currently, parameter type hints are only binding for the call sid=
e but not within the function body.
> For instance, function foo(Foo $x){ $x =3D 1;} is perfectly valid. It c=
ertainly has little sense to have the same semantics for properties but t=
hen we introduce another inconsistency and should maybe fix the behaviour=
 of parameter type hints first.

Like I said, adding type checks to every assignment is a rather large
change, and I doubt it can be done without some nasty performance costs.

Honestly, I would rather have a speedy runtime and put the effort into a
static analysis mode built into PHP. The stated goal of so many who push
the strict types everywhere argument is that it helps find bugs. So
let's have an analyze mode that finds these bugs without bogging down
the runtime with thousands of type checks.

-Rasmus



--OQTIJNHJvS5JX2lsvQnEOEHTKibiBkPDp
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

iEYEARECAAYFAlWja4QACgkQlxayKTuqOuA+/wCdHkvo0SkiVdY/anj4BGpa8B3P
egMAnAwGJgYs93SyidAyNzzSoukTsZaW
=fih/
-----END PGP SIGNATURE-----

--OQTIJNHJvS5JX2lsvQnEOEHTKibiBkPDp--