Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:86099
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.212.179 as permitted sender)
MIME-Version: 1.0
In-Reply-To: <CAFMT4NqBsuGg5=VCdYzLCw2jx9F-pyXLuFmQru28ATanRdLmdw@mail.gmail.com>
References: <CAGa2bXYzp3XimLXxC+Py2t1DWhCfX8coTdYHzf6zEiKdxA7r8Q@mail.gmail.com>
	<CAFMT4NqBsuGg5=VCdYzLCw2jx9F-pyXLuFmQru28ATanRdLmdw@mail.gmail.com>
Date: Thu, 30 Apr 2015 10:10:49 -0700
Message-ID: <CAMPTd_BekaZWJ3MHARCyW=S+2Cy4L8Gyqww2PPVPeJk08wkOuA@mail.gmail.com>
To: Levi Morrison <levim@php.net>
Cc: Yasuo Ohgaki <yohgaki@ohgaki.net>, "internals@lists.php.net" <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=089e01493afa63c4a90514f42d8b
Subject: Re: [PHP-DEV] Adding "numeric" type hint
From: walterp@gmail.com (Walter Parker)

--089e01493afa63c4a90514f42d8b
Content-Type: text/plain; charset=UTF-8

On Thu, Apr 30, 2015 at 7:35 AM, Levi Morrison <levim@php.net> wrote:

> This numeric type is a type of int or float. There is a formal name
> for such types: union types. Some languages have syntax for union
> types that would look like this: int | float. I have a draft RFC for
> this subject: https://wiki.php.net/rfc/union_types. Union types would
> be useful for other common cases as well, such as `Foo | null` or
> `array | Traversable`.
>
> --
> PHP Internals - PHP Runtime Development Mailing List
> To unsubscribe, visit: http://www.php.net/unsub.php
>
>
Yes, this a union type. As I understand the request, the union type
definition would look like int|float| string where is_numeric(string) is
true. According to the definition of is_numeric, it does not check to see
if the string can be cast into an int or float, only that it could parsed
an stuffed into a bignum or GMP object.


Walter


-- 
The greatest dangers to liberty lurk in insidious encroachment by men of
zeal, well-meaning but without understanding.   -- Justice Louis D. Brandeis

--089e01493afa63c4a90514f42d8b--