Re: [RFC] Disjunctive Normal Form Types
| From: | Levi Morrison via internals | Date: | Mon, 21 Mar 2022 02:42:15 +0000 |
| Subject: | Re: [RFC] Disjunctive Normal Form Types | ||
| References: | 1 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-117387@lists.php.net to get a copy of this message | ||
> DNF types are a way to mix intersection and union types together in a
> single type.
> For example:
> [...]
> - (Traversable&Countable)|array
I have yet to read the fine print, but this example was a motivating
case for me to start down the union-types road years ago. I would be
very happy to finally see this in the language!