Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:83133
Return-Path: <cmbecker69@gmx.de>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 70860 invoked from network); 18 Feb 2015 23:09:18 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 18 Feb 2015 23:09:18 -0000
Authentication-Results: pb1.pair.com header.from=cmbecker69@gmx.de; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=cmbecker69@gmx.de; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmx.de designates 212.227.17.20 as permitted sender)
X-PHP-List-Original-Sender: cmbecker69@gmx.de
X-Host-Fingerprint: 212.227.17.20 mout.gmx.net  
Received: from [212.227.17.20] ([212.227.17.20:59286] helo=mout.gmx.net)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id B3/0F-25021-B9B15E45 for <internals@lists.php.net>; Wed, 18 Feb 2015 18:09:16 -0500
Received: from [192.168.0.101] ([91.67.244.80]) by mail.gmx.com (mrgmx103)
 with ESMTPSA (Nemesis) id 0LgI0W-1XjgKa2sj6-00ngSe; Thu, 19 Feb 2015 00:09:12
 +0100
Message-ID: <54E51B9E.1060201@gmx.de>
Date: Thu, 19 Feb 2015 00:09:18 +0100
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:31.0) Gecko/20100101 Thunderbird/31.4.0
MIME-Version: 1.0
To: Anthony Ferrara <ircmaxell@gmail.com>, 
 "internals@lists.php.net" <internals@lists.php.net>
References: <CAAyV7nGjdguX=4Nt0H=kYnwg8rZ1BkWf8duGZfzheOXXV61pqA@mail.gmail.com>
In-Reply-To: <CAAyV7nGjdguX=4Nt0H=kYnwg8rZ1BkWf8duGZfzheOXXV61pqA@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Provags-ID:  V03:K0:RB9PbZNeCHVXxxkQrhEPNjJkJVuGJ17SzXKbIQZfPdqCM0avzfi
 6eSGHTNvsk6kELj8Yg+ex+XVAw1xvRE6riPP2CtNBRTFr7Bslm/vZBHC2PXllAWB97gOVeD
 RwOF2d5dRcEqHwte2H+2Qda1FRIZcCj0E0XdDOld21lIkD8OxSP+lDirIz5kDnT9WlwGtxe
 dHXMOd1v6k2rAuUdwPUjQ==
X-UI-Out-Filterresults: notjunk:1;
Subject: Re: [RFC-Discuss] Scalar Type Declarations v0.5
From: cmbecker69@gmx.de (Christoph Becker)

Anthony Ferrara wrote:

> 3. int typed variables can resolve a parameter type of float So
> calling requiresAFloat(10) will work even in strict mode.

Have you considered the overflow behavior of ints resulting in a float?
 For instance, the following code would produce E_RECOVERABLE_ERROR, AIUI:

  <?php

  declare(strict_types=1);

  function foo(int a, int b) {
    bar(a * b);
  }

  function bar(int n) {
  }

  foo(10000000000, 10000000000);

It seems to me that this behavior is hard to deal with generally for
programmers as well as static analyzers.  Andreas' bigint RFC[1] would
solve that issue, but it has been withdrawn, and AFAIK nobody is working
on it.  OTOH, bigint would make the widening from int to float
potentially even more lossy (i.e. inaccurate) than it is now (64bit ints
vs. IEEE 754 doubles).

IIRC, Pascal does not promote int to float on overflow, but rather
discards the high bits (unless overflow checking is enabled; available
only in some "newer" dialects).  I don't know how Java handles this
case, but I assume there's no promotion to float either.

[1] <https://wiki.php.net/rfc/bigint>

-- 
Christoph M. Becker