Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92373
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain daveyshafik.com from 209.85.215.54 cause and error)
MIME-Version: 1.0
Sender: me@daveyshafik.com
In-Reply-To: <CAObuZdtpxS2qUVuRgvnk7sHHqdZuNc=NEREj_29aYx=+9RiH-g@mail.gmail.com>
References: <CAFMT4Nq+VdfYS+eKbdbmPr92-X1QYCE2eOtPGo6Zu1qgAOGkhA@mail.gmail.com>
	<CAFMT4Nq=QPN9fOMtKa7GDDkf-AECAXjN9WRtn84nUjtKK-zD7w@mail.gmail.com>
	<570E99AC.3090804@fleshgrinder.com>
	<CAFMT4Nq7JV=iv=_AKjez+B8JxZ+rucD4LkEJgHuUg15o7r2hMg@mail.gmail.com>
	<570EA5EB.8090501@fleshgrinder.com>
	<570EAB0D.6080706@gmail.com>
	<570EB67E.8010908@garfieldtech.com>
	<5B147E88-CC0A-4CBC-A49D-C7FE3BF557C0@zend.com>
	<6F.C3.12455.94C5F075@pb1.pair.com>
	<20160414094440.GF19347@phcomp.co.uk>
	<CAKSD0w6Gd7uN2L=d3VfnK-Mj+cwjpcGtCpjfD6iq+VMmJVxkhA@mail.gmail.com>
	<570FD94F.90703@fleshgrinder.com>
	<570FE8A9.4020809@gmail.com>
	<20.53.29891.17401175@pb1.pair.com>
	<57110BCD.5030009@garfieldtech.com>
	<571124C2.9040606@gmx.de>
	<57112F31.8070209@garfieldtech.com>
	<CAKSD0w6+ezrHPxH153qygG-1fE9eq_c6rNou73w2tfWnOmw44w@mail.gmail.com>
	<CAKSD0w7nOjMmgYPRhryMqM-2s5nAWTxUk3R3PY1qkWR30EJ9ag@mail.gmail.com>
	<57120FAF.7070602@commerce-plus.com>
	<CAObuZdtpxS2qUVuRgvnk7sHHqdZuNc=NEREj_29aYx=+9RiH-g@mail.gmail.com>
Date: Sat, 16 Apr 2016 18:29:56 -0700
Message-ID: <CANaX5nfa1_SL=ztMVp3dyMAcFwgr6KM5aQCbQ=6V9VmboED-9A@mail.gmail.com>
To: Ryan Pallas <derokorian@gmail.com>
Cc: Bastian Schneider <bastian.schneider@commerce-plus.com>, 
	"internals@lists.php.net" <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a114021c0846a630530a42e4f
Subject: Re: [PHP-DEV] Re: Improving PHP's type system
From: davey@php.net (Davey Shafik)

--001a114021c0846a630530a42e4f
Content-Type: text/plain; charset=UTF-8

On Sat, Apr 16, 2016 at 5:06 PM, Ryan Pallas <derokorian@gmail.com> wrote:

> On Sat, Apr 16, 2016 at 4:10 AM, Bastian Schneider <
> bastian.schneider@commerce-plus.com> wrote:
>
> >
> > Just a quick thought. I would prefer something like
> >
> >     union Iterable {
> >         use array;
> >         use ArrayAccess;
> >         use Traversable;
> >     }
> >
> >     function bla(Iterable $iterable) {
> >         foreach($iterable as $element) {}
> >     }
> >
> > Primitives like string, float, bool or int are not allowed in union. Only
> > classes, interfaces and array. I doesn't see any benefit in combining
> > string with int or int with float in one union.
> >
>
> Here's an example that shows combining scalar maybe useful:
>
> union Numeric {
>     use int;
>     use float;
> }
>
> Something I would very much like to use where types are allowed.


Could also be used for solving the issue of coercing:

union Numeric {
    use int;
    use float;
    use string as float;
}

Thoughts?

- Davey

--001a114021c0846a630530a42e4f--