Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92372 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 83758 invoked from network); 17 Apr 2016 00:06:34 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 17 Apr 2016 00:06:34 -0000 Authentication-Results: pb1.pair.com header.from=derokorian@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=derokorian@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 209.85.218.43 as permitted sender) X-PHP-List-Original-Sender: derokorian@gmail.com X-Host-Fingerprint: 209.85.218.43 mail-oi0-f43.google.com Received: from [209.85.218.43] ([209.85.218.43:35812] helo=mail-oi0-f43.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id B1/C5-32052-883D2175 for ; Sat, 16 Apr 2016 20:06:34 -0400 Received: by mail-oi0-f43.google.com with SMTP id p188so156382705oih.2 for ; Sat, 16 Apr 2016 17:06:32 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=OrzzkWZUZJpunr+RVmjxAnKtN/4+mEfVueTAQusPKEs=; b=DDzEGnV8QXCf5kYhm62+rmOa8U4UjUcvQgSezvvBI4/jEccYngv8RveYh+i2g9M/kw mS4AkGD2uEC7OXM91WFq47U6a9taiDMfI6PSFV2e52aEHQwXx8DDlqpyKoBHBuPSUCYb suM4V/t5gU925SrRshs6HSfteKdqBiMAmcVoF3x/DoOO4z6ZHFT9NKRe/NQ8U08wLOjO y/hih+UJN9e7Q4IkL5mchY881Yii04sFcT9F/eWtxqlWDpLT/0bqI0k+p8Dw63pWlK4x iBnYbAcJL1erHkCDirnRUXmFVDirjuxijJcefoTiWJJp8UbmhS5BGfULRdIl0LbVekCT SthQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to:cc; bh=OrzzkWZUZJpunr+RVmjxAnKtN/4+mEfVueTAQusPKEs=; b=QWA8cGGBS0jjnUyXL7WCh1soVeudeUwutM4r/tI8mSVcQRh7oFGqbGEvkaz8tnibX1 tMy4kJY7qFU2JzRc/pJ4xusyqbE1hY9ekit3J1HPZhx1uQ1O3nIJVLuMjTcr79rjtwXu WMRob2UQvjj2e+DDOkngBfKuU9ch4aSWxQuvNyz7SaFeoMWNyvghdCuhEwoSDhTDlSnk m1DfyucUSbfe+DtWKUB0NCMzphsb7B1iYaz1bnk4npj2Na1YR4yi4IC6/MdnbuKJLP5G nfoHWAeV2FXMJrUPXIfKDhq85rTcJm1Q3hnHEpHD/jkDe/IveJ/NlrQmKQDmW1m4uzZA bBDg== X-Gm-Message-State: AOPr4FVaySVY+ewQ1rlouXOPvEj7zfp9g4x1DHaARHBWpdWRau94i9Jg8c8t7aHZRC5dTv6O0dLSk9vLGeHCag== MIME-Version: 1.0 X-Received: by 10.202.104.204 with SMTP id o73mr920316oik.18.1460851590260; Sat, 16 Apr 2016 17:06:30 -0700 (PDT) Received: by 10.157.3.161 with HTTP; Sat, 16 Apr 2016 17:06:30 -0700 (PDT) In-Reply-To: <57120FAF.7070602@commerce-plus.com> References: <570E99AC.3090804@fleshgrinder.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> <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> <57120FAF.7070602@commerce-plus.com> Date: Sat, 16 Apr 2016 18:06:30 -0600 Message-ID: To: Bastian Schneider Cc: "internals@lists.php.net" Content-Type: multipart/alternative; boundary=001a114087aa1b70090530a30472 Subject: Re: [PHP-DEV] Re: Improving PHP's type system From: derokorian@gmail.com (Ryan Pallas) --001a114087aa1b70090530a30472 Content-Type: text/plain; charset=UTF-8 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. > > Do I overlook or missed anything? > > > -- > PHP Internals - PHP Runtime Development Mailing List > To unsubscribe, visit: http://www.php.net/unsub.php > > --001a114087aa1b70090530a30472--