Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:84755
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.214.182 as permitted sender)
MIME-Version: 1.0
Sender: morrison.levi@gmail.com
In-Reply-To: <ff8e8d5564b00b7baead3d9dd46282c8@mail.gmail.com>
References: <ff8e8d5564b00b7baead3d9dd46282c8@mail.gmail.com>
Date: Fri, 13 Mar 2015 20:37:42 -0600
Message-ID: <CAFMT4NoTGqD4-egCJzTcoDNW5__77t1nEcT+XX5AwH8MaAoQSw@mail.gmail.com>
To: Zeev Suraski <zeev@zend.com>, Dmitry Stogov <dmitry@zend.com>, francois@php.net
Cc: PHP internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] [VOTE][RFC] Coercive Scalar Type Hints
From: levim@php.net (Levi Morrison)

Zeev, Dmitry and Francois (and anyone),

I have a question on a specific conversion. There has been *a lot* of
email about scalar types so I apologize if this is answered somewhere
already.

It seems that `float -> bool` is always disallowed. If I am correct
`int -> bool` is permitted for all values (not just 0 and 1), which
means that floats which can be converted to integers without dataloss
should also be permitted to be booleans. If a specific float can be
converted to an int, and all ints can be converted to booleans, then
the transitive property should hold for that float to a bool.

Am I understanding the current rules correctly? If so can I get more
rationale on this?

Cheers,

Levi Morrison