Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:86095
Return-Path: <morrison.levi@gmail.com>
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Delivered-To: mailing list internals@lists.php.net
Received: (qmail 57082 invoked from network); 30 Apr 2015 14:36:04 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 30 Apr 2015 14:36:04 -0000
Authentication-Results: pb1.pair.com header.from=morrison.levi@gmail.com; sender-id=pass
Authentication-Results: pb1.pair.com smtp.mail=morrison.levi@gmail.com; spf=pass; sender-id=pass
Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.223.177 as permitted sender)
X-PHP-List-Original-Sender: morrison.levi@gmail.com
X-Host-Fingerprint: 209.85.223.177 mail-ie0-f177.google.com  
Received: from [209.85.223.177] ([209.85.223.177:34681] helo=mail-ie0-f177.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id 21/50-51427-2DD32455 for <internals@lists.php.net>; Thu, 30 Apr 2015 10:36:03 -0400
Received: by iedfl3 with SMTP id fl3so76933342ied.1
        for <internals@lists.php.net>; Thu, 30 Apr 2015 07:35:59 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:date:message-id:subject
         :from:to:cc:content-type;
        bh=18tAsNY7RmG3OY6rlkjN8+Ctjn10PUNIsI3LqD1P6PM=;
        b=n46iNql10Vp23JKszlPfSc3Acn6bT9iwPqtDL4igipSdlCPMMHBZhoUdpoqZkc14wZ
         WNt3lXYPUaa50KHVqEoqJPDcH+hY7+cdHjkBcYw73VPs9ZbrH+iUw+mcviU5ODn8tdRI
         uUPs8XYpuWVhqmz8u7B6vT4cqiXZgBsuEmu2+PaZSVlkGiu2Y6wTjxHFc7J2XO7FcXMd
         Z421eMB6jMlEgaCObQS+/ZXGl5Sti3sZIoqvexspb/NByeYa5mi7nwxWkHlTMxkGthns
         1/jmGkte4O7So0yCcvGeP1vf7griWN7p4hsT7G9Zvo6FfEfO8idS+IDe1mLAo4Qzp+7C
         XLYw==
MIME-Version: 1.0
X-Received: by 10.42.79.197 with SMTP id s5mr9399812ick.85.1430404559674; Thu,
 30 Apr 2015 07:35:59 -0700 (PDT)
Sender: morrison.levi@gmail.com
Received: by 10.79.98.67 with HTTP; Thu, 30 Apr 2015 07:35:59 -0700 (PDT)
In-Reply-To: <CAGa2bXYzp3XimLXxC+Py2t1DWhCfX8coTdYHzf6zEiKdxA7r8Q@mail.gmail.com>
References: <CAGa2bXYzp3XimLXxC+Py2t1DWhCfX8coTdYHzf6zEiKdxA7r8Q@mail.gmail.com>
Date: Thu, 30 Apr 2015 08:35:59 -0600
X-Google-Sender-Auth: q8E6B2HJ1CxHdRmMSQwvCFia2fE
Message-ID: <CAFMT4NqBsuGg5=VCdYzLCw2jx9F-pyXLuFmQru28ATanRdLmdw@mail.gmail.com>
To: Yasuo Ohgaki <yohgaki@ohgaki.net>
Cc: "internals@lists.php.net" <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: Re: [PHP-DEV] Adding "numeric" type hint
From: levim@php.net (Levi Morrison)

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`.