Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83099
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain zend.com designates 209.85.212.172 as permitted sender)
Content-Type: text/plain;
	charset=utf-8
Mime-Version: 1.0 (1.0)
In-Reply-To: <54E4D0D0.10404@lerdorf.com>
Date: Wed, 18 Feb 2015 19:55:43 +0200
Cc: "francois@php.net" <francois@php.net>,
 =?utf-8?Q?P=C3=A1draic_Brady?= <padraic.brady@gmail.com>,
 Robert Stoll <php@tutteli.ch>, Nikita Popov <nikita.ppv@gmail.com>,
 Sara Golemon <pollita@php.net>, PHP internals <internals@lists.php.net>
Content-Transfer-Encoding: quoted-printable
Message-ID: <7766B1DB-439B-4AEB-9CF0-1D2C5E7937D1@zend.com>
References: <CAESVnVoZYiMWQk1Ydc-9wbkJo7Ru_4mrUtrubW=Rh=QKK9o8TA@mail.gmail.com> <CAF+90c_S3xT07F-4smHeD=BTuSG9VQZxZ==mhyOzDuBw5QPX_Q@mail.gmail.com> <54E3E27B.2010903@lerdorf.com> <CAF+90c8o8GtO9=7JJ3Jmjzg-=qVAD1aiQaU32joOeD6XH_f4hg@mail.gmail.com> <2f99c47df51fa6c73131032ec50fade0@mail.gmail.com> <005201d04b6c$1122d130$33687390$@tutteli.ch> <030f01d04b7f$0c71d1a0$255574e0$@php.net> <CALwr1GnSARGNDTaUzyVdMVnwM63NXhSxghc8dDxQQDKE-uMocg@mail.gmail.com> <034e01d04b9b$2d7c0160$88740420$@php.net> <54E4D0D0.10404@lerdorf.com>
To: Rasmus Lerdorf <rasmus@lerdorf.com>
Subject: Re: [PHP-DEV] Scalar Type Hints v0.4
From: zeev@zend.com (Zeev Suraski)


> On 18 =D7=91=D7=A4=D7=91=D7=A8=D7=B3 2015, at 19:50, Rasmus Lerdorf <rasmu=
s@lerdorf.com> wrote:
>=20
> On 02/18/2015 08:51 AM, Fran=C3=A7ois Laupretre wrote:
>>> De : P=C3=A1draic Brady [mailto:padraic.brady@gmail.com]
>>>=20
>>> Careful, it helps not to call folk "radicals" if you intend to pursue
>>> a compromise with them ;).
>>=20
>> Sorry, english is not my native language, and 'radical' may be offensive.=

>>=20
>> I was just looking for a word for people who consider providing two modes=
 is a pre-requisite to any discussion.
>>=20
>>> I wouldn't necessarily mind int->float - it's lossless assuming one way o=
nly.
>>=20
>> It's lossless but it kills the 'strict' position. It can be claimed, one h=
and on the heart, this will be the only exception but, as use cases and side=
 effects accumulate, we all know it will finish as a bunch of exceptions to a=
 no-more strict mode, adding confusion where it is not needed. I guess the n=
ext one would be (int -> bool), and the rest would follow.
>=20
> We need to keep in mind that int->float isn't technically lossless. We
> have a 53-bit IEEE754 mantissa to take account for here, so it is only
> lossless for values below 36028797018963966 or so.

We can limit ourselves to values below that limit.  If you deal with values a=
bove it, be explicit about casting.

Zeev=