[RFC] Intersection Types
| From: | Levi Morrison | Date: | Thu, 28 Apr 2016 03:54:33 +0000 |
| Subject: | [RFC] Intersection Types | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-92857@lists.php.net to get a copy of this message | ||
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