Newsgroups: php.internals Path: news.php.net Xref: news.php.net php.internals:92870 Return-Path: Mailing-List: contact internals-help@lists.php.net; run by ezmlm Delivered-To: mailing list internals@lists.php.net Received: (qmail 34530 invoked from network); 28 Apr 2016 16:08:23 -0000 Received: from unknown (HELO lists.php.net) (127.0.0.1) by localhost with SMTP; 28 Apr 2016 16:08:23 -0000 Authentication-Results: pb1.pair.com header.from=rowan.collins@gmail.com; sender-id=pass Authentication-Results: pb1.pair.com smtp.mail=rowan.collins@gmail.com; spf=pass; sender-id=pass Received-SPF: pass (pb1.pair.com: domain gmail.com designates 74.125.82.47 as permitted sender) X-PHP-List-Original-Sender: rowan.collins@gmail.com X-Host-Fingerprint: 74.125.82.47 mail-wm0-f47.google.com Received: from [74.125.82.47] ([74.125.82.47:38218] helo=mail-wm0-f47.google.com) by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP id 6B/31-28296-67532275 for ; Thu, 28 Apr 2016 12:08:23 -0400 Received: by mail-wm0-f47.google.com with SMTP id g17so49657304wme.1 for ; Thu, 28 Apr 2016 09:08:22 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-transfer-encoding; bh=Ten/z5TXwTT3OcvQDpgi5OAJ3VbIlOyGaYbJQY88lwc=; b=c5LRR3y8g30yzp6zBrsoROAzfu+x+SFMk1RA8vPh4Pd4XqFmGlH2qoDgnPNnS8O5ZC wbOfX2ylYb/IWWbGEjpOOlBCrRI3DWc4mhI6dcj0Jd7SpigkPq+Jssep50guHsQHTivx vz2pbLSI6esXngCPx+rrY1fdvkgeYFNwFGIQlueP/jiRvoc9jhysghfOJz3Q0P0hlZ4f JjEIBO5CLaiQYn+3HMFw5EA3dGgKDan7/PwrwP0dJPJViHqa5TEumCe5LQKDmgdkl2WZ mFO1iT//0sy6KiE+5l3CpkFw7uKYKVRQQW2Mrz851wUL60QxJU7TjvrEBd6kbMQzXPgT ZHyA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=Ten/z5TXwTT3OcvQDpgi5OAJ3VbIlOyGaYbJQY88lwc=; b=jR/mBJjr7AZOS2iQ5xzOVC8qq+DvwVqNVzUG6KeaAX/VMgUa/W1d8pn62nA+aRLK8S DNbq7NdrmOacUAtL9P4sRfyhvOghOhdPbp5ZR1ZejTqsuM6YU7zWp0qWSWw4AX8khiyn DWadGCQfeHI1FWeiX0e95eWE34fb1CJlUZuMrjw4l2etNCbCl/NxR5RI/haTUlsqVbFv 147JnrRJ2NlzaakfAX6KsB6MwmuMv7X+7B8gq51ecyW52f8lt8eRjWCiOBgAPPvX+eGk pA3wp1jSQbLF695tMrJdO90mamI7OOm74ibufeOIEFEN9EssAd6gVbrgta7eerTzvghr q58Q== X-Gm-Message-State: AOPr4FX7NurhxleQBqNXKQI0Hfx7xF78uke1R/2fSsB5zkBjZhg/oQ3mG2MfQFOPDKGLRQ== X-Received: by 10.194.90.76 with SMTP id bu12mr16312211wjb.79.1461859700377; Thu, 28 Apr 2016 09:08:20 -0700 (PDT) Received: from [192.168.0.82] ([93.188.182.58]) by smtp.googlemail.com with ESMTPSA id da5sm10362143wjb.25.2016.04.28.09.08.19 for (version=TLSv1/SSLv3 cipher=OTHER); Thu, 28 Apr 2016 09:08:19 -0700 (PDT) To: internals@lists.php.net References: Message-ID: <6c31f20b-c26b-52c0-77a3-4e4559d78246@gmail.com> Date: Thu, 28 Apr 2016 17:06:01 +0100 User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [PHP-DEV] [RFC] Intersection Types From: rowan.collins@gmail.com (Rowan Collins) Bob Weinand wrote on 28/04/2016 16:49: > Regarding your suggestion, $foo instanceof Foo & Bar is conflicting with bitwise and here. Anyway, you already can $foo instanceof Foo && $foo instanceof Bar. Which is IMO just as easy, not conflicting and more flexible. It's a shame that that's so verbose. It would be amazing to have something like Perl6's "Junctions": https://perlgeek.de/blog-en.cgi/perl-5-to-6/08-junctions.html $foo instanceof any(Foo, Bar) Well, I can dream... ;)