Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:103231
To: internals@lists.php.net
Date: Sat, 22 Sep 2018 14:36:03 -0500
Message-ID: <1867315.DCa4sVk4sc@vulcan>
In-Reply-To: <CADqTB_ihF2hA2GUSZS+TXKswCnhnm0hp5uj55zvP1Gwkn9cntA@mail.gmail.com>
References: <AM0PR0702MB3684F2B7EFF1826F515BA940E2040@AM0PR0702MB3684.eurprd07.prod.outlook.com> <5273905.aE8IdBJUB6@vulcan> <CADqTB_ihF2hA2GUSZS+TXKswCnhnm0hp5uj55zvP1Gwkn9cntA@mail.gmail.com>
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="nextPart6134086.4ICv8krD75"; micalg="pgp-sha512"; protocol="application/pgp-signature"
Subject: Re: [PHP-DEV] [RFC] [VOTE] Typed properties v2
From: larry@garfieldtech.com (Larry Garfield)

--nextPart6134086.4ICv8krD75
Content-Transfer-Encoding: 7Bit
Content-Type: text/plain; charset="us-ascii"

On Saturday, September 22, 2018 2:32:04 PM CDT Rasmus Schultz wrote:
> Larry,
> 
> this wasn't aimed at "you" personally, I'm just using the proverbial "you",
> as in "not me".
> 
> if you read my last post (especially the last part) carefully, you'll see
> why this elephant analogy is incomplete.
> 
> the issue is not whether or not something gets in - it's much more far
> reaching than that.
> 
> the issue is, once something gets in, can you even be sure that that
> something is what it claims to be?

.. Yes?

> at the moment you can't, and that's a serious issue - type hints appear to
> provide some guarantees that in fact aren't provided at all. it's
> confusing, and the explanations are more complex than they need to be.
> 
> (and I guess that's generally an issue in very dynamic languages, but type
> hints are supposed to provide a means to improve on these problems where it
> makes sense - not make the problems worse.)

Do you have a code sample to explain what you mean?  At the moment I really 
have a hard time envisioning what the pitfall is, especially if we were to add 
checkpoint validity checks.

What's the code that would appear safe but really isn't?  Please show us, 
because I don't know what it is.

--Larry Garfield
--nextPart6134086.4ICv8krD75
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: This is a digitally signed message part.
Content-Transfer-Encoding: 7Bit

-----BEGIN PGP SIGNATURE-----

iQEzBAABCgAdFiEE/ph/GXfY8v0YwFBp4MMKwDFxYXcFAlummaMACgkQ4MMKwDFx
YXcv1QgAqjzTE9UsUro0AgQs3xHiwhHUwb6VpdQ5gfayln3hufxojP7tYXbyM/z7
7WgKZl3BSjHCMKvgOQeK8UPQ4+WXAp7BfdmbGHmwWdsjpJAGy5j5B2eoBYCnthyW
Cr/0Inj4Q3ksA3IRIelqbx5qDKO4/kCEaRoxvf0MLNCXyalO9a7tf4HAm6vUv3fk
MfsvQr3zjpWvYCCreBuBxORX4qUHoVlAj0JCQ1yIM46FwPGfS413o2EUuq+a4kcw
GNVOxXG1536chsDuBp8MH9CoXaRVd1Hv57xqYKTijHgpE6F3opZ1yIDJoLXTVvqu
shadOCFdGzcjMWg/wYCxI1/DeIC/9A==
=z/eD
-----END PGP SIGNATURE-----

--nextPart6134086.4ICv8krD75--