Intersection types
| From: | Gert de Pagter | Date: | Sat, 30 May 2020 08:02:30 +0000 |
| Subject: | Intersection types | ||
| Groups: | php.internals | ||
| Request: | Send a blank email to internals+get-110310@lists.php.net to get a copy of this message | ||
Hi Internals,
With recent additions of the type system like union types [1], id like to propose adding
intersection types as well.
Looking through past RFCs I found one from 2016 [2] which never left the discussion phase and is
currently marked as inactive.
Before continuing with an RFC I'd like to know if there are any particular reasons why the
original RFC never got into a voting phase, so that this one may be more successful.
P.S. I’d also like to get RFC karma so I could create a proposal.
Thanks in advance!
[1] https://wiki.php.net/rfc/union_types_v2
<https://wiki.php.net/rfc/union_types_v2>
[2] https://wiki.php.net/rfc/intersection_types
<https://wiki.php.net/rfc/intersection_types>