Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:92857
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 80943 invoked from network); 28 Apr 2016 03:54:40 -0000
Received: from unknown (HELO lists.php.net) (127.0.0.1)
  by localhost with SMTP; 28 Apr 2016 03:54:40 -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.192.194 as permitted sender)
X-PHP-List-Original-Sender: morrison.levi@gmail.com
X-Host-Fingerprint: 209.85.192.194 mail-pf0-f194.google.com  
Received: from [209.85.192.194] ([209.85.192.194:35498] helo=mail-pf0-f194.google.com)
	by pb1.pair.com (ecelerity 2.1.1.9-wez r(12769M)) with ESMTP
	id F9/10-14004-D7981275 for <internals@lists.php.net>; Wed, 27 Apr 2016 23:54:38 -0400
Received: by mail-pf0-f194.google.com with SMTP id r187so8470668pfr.2
        for <internals@lists.php.net>; Wed, 27 Apr 2016 20:54:37 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:date:message-id:subject:from:to;
        bh=9YRRh9q3r3W2i7+aIlHOSbS4EudrpPmJ1OIJutiYF7c=;
        b=pxQTbsb7+KxKZCdUeT3Ob1AKZMpD01Eg6kxO8c+Uq2UQaEZcKpRgRG4ySBQgVtN2Vv
         7KeudgcEVOUEJjbn4BZWVpJ6O3RXnzjyq3U+rZxU93oqOSEKOOt6UxBoRo5bpxxb5g5F
         xL3ragIwby5FF7sB+3HgjIUStta2ugPIFGyRgtTn/wJGuJYYX/7NdPGzjrcUxkLlxqWv
         V572JMRd8yTZE1UFikVxG7i9ZaWNc2Y2YR8ObKqMdRMPntJ7d4TDywTQHkC4bwnpYY5A
         03VS9OeRDN/4kJ3qT+7cbKrAs9FuUeObk563QNlM1S5SeJnhjQ630NEsXj7HCJL7eKw6
         S5FQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20130820;
        h=x-gm-message-state:mime-version:sender:date:message-id:subject:from
         :to;
        bh=9YRRh9q3r3W2i7+aIlHOSbS4EudrpPmJ1OIJutiYF7c=;
        b=IUG1tHNJz1RMTQI7x6hYOTKgRnws1jtUVCAaKYCjvmso+ghFVY3KarY400ffxqT91p
         /YZ3QPnJQTUMsAsZh0nPZwVsr3w5AIg28qTQAKSOcGi8aJm4Y0L/FoacJSFOTqnSM5HC
         HOO93LvqWzzrwlniOkbb6xBpd8RnrB4NIw9vSASEdU12M/OjPWZKy0a238TVXUBrmFxZ
         kY+JeJ6t2jdJZVOoUHj4RSsNuYf8Ot+Ni7QOP4IRK9XtCww3s4WR3zpSOmkAvVh3OGVs
         o5rU34eGoVRoXbbIxaUsRWrWbUcr6823dt2bTTIGW1BG/HKc5oSucE0lk/88amJsuoyN
         5iAQ==
X-Gm-Message-State: AOPr4FWy/OkRVTiY80ffDSsgP7+ThCq+PVj6wD4EeIUcm878Jb+GZP33n2SJbQkwsXKDcJmynaaqXxAoYOi8gg==
MIME-Version: 1.0
X-Received: by 10.98.29.16 with SMTP id d16mr17043362pfd.142.1461815673466;
 Wed, 27 Apr 2016 20:54:33 -0700 (PDT)
Sender: morrison.levi@gmail.com
Received: by 10.66.132.79 with HTTP; Wed, 27 Apr 2016 20:54:33 -0700 (PDT)
Date: Wed, 27 Apr 2016 21:54:33 -0600
X-Google-Sender-Auth: UxbEhyCT441R-iDgGwCiJEtDrFk
Message-ID: <CAFMT4Nozvf=9yEbaBpe6Zjd1pidnOAH=FjVNNLVzoB6gTz-POg@mail.gmail.com>
To: internals <internals@lists.php.net>
Content-Type: text/plain; charset=UTF-8
Subject: [RFC] Intersection Types
From: levim@php.net (Levi Morrison)

Internals,

As alluded to last week I have another RFC for improving the type
system: [intersection types][1].

It allows parameters to define multiple type constraints that must be
satisfied. Common combinations of our built-in types include
`ArrayAccess & Traversable & Countable` and `Countable & Iterator`.

Some people have suggest I merge this and union types into one RFC.
For now I'll just proceed with them separately to gain feedback.

  [1]: http://wiki.php.net/rfc/intersection_types