Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83343
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain lerdorf.com designates 209.85.192.172 as permitted sender)
Message-ID: <54E783DE.9050206@lerdorf.com>
Date: Fri, 20 Feb 2015 10:58:38 -0800
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0
MIME-Version: 1.0
To: Josh Watzman <jwatzman@fb.com>
CC: Anthony Ferrara <ircmaxell@gmail.com>, 
 Larry Garfield <larry@garfieldtech.com>,
 "internals@lists.php.net" <internals@lists.php.net>
References: <20150220170854.308596800F2@frontend2.nyi.internal> <CAAyV7nFuk+zuS3nMjf79ou0Rr9Qu20jEcE5=wFYiASV5NnYcQg@mail.gmail.com> <54E77D2E.60407@lerdorf.com> <E00B2245-9041-4649-A894-F8D19761B5B2@fb.com>
In-Reply-To: <E00B2245-9041-4649-A894-F8D19761B5B2@fb.com>
Content-Type: multipart/signed; micalg=pgp-sha1;
 protocol="application/pgp-signature";
 boundary="TU2fVk9QXSRNM6qt87vh7CivKALeLMjdi"
Subject: Re: [PHP-DEV] Reviving scalar type hints
From: rasmus@lerdorf.com (Rasmus Lerdorf)

--TU2fVk9QXSRNM6qt87vh7CivKALeLMjdi
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: quoted-printable

On 02/20/2015 10:52 AM, Josh Watzman wrote:
> On Feb 20, 2015, at 10:30 AM, Rasmus Lerdorf <rasmus@lerdorf.com> wrote=
:
>> Hack examples all using <?hh // strict
>>
>>  echo number_format('1000');
>>  echo htmlspecialchars(1000);
>>  echo md5(1000);
>>
>> These are all fine both as far as the type-checker is concerned as wel=
l
>> as the runtime, of course, but they are runtime fatals in your propose=
d RFC.\
>=20
> And they should be errors in Hack too. The reason they aren't are to ea=
se transitions from PHP to Hack. I'd expect them to be more strongly type=
d eventually.

Right, you are doing a gradual transition of an API that wasn't written
to be strict. It was written with the assumption that type coercion
would take place. If there is a good reason to ease the transition from
PHP to Hack there is an even stronger reason to ease the transition from
PHP to PHP.

-Rasmus



--TU2fVk9QXSRNM6qt87vh7CivKALeLMjdi
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

iEYEARECAAYFAlTng94ACgkQlxayKTuqOuDkhgCePsMX/kFw8H5GXms3XTMYGoop
OBAAn3yTY294HIzG0Ny9piUZvzI6ovsp
=Alkg
-----END PGP SIGNATURE-----

--TU2fVk9QXSRNM6qt87vh7CivKALeLMjdi--