[RFC] Intersection Types

From: Date: Thu, 28 Apr 2016 03:54:33 +0000
Subject: [RFC] Intersection Types
Groups: php.internals 
Request: Send a blank email to [email protected] 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


Thread (5 messages)

« previous php.internals (#92857) next »