Re: [RFC] Nullable intersection types
| From: | Levi Morrison via internals | Date: | Sat, 24 Jul 2021 19:47:01 +0000 |
| Subject: | Re: [RFC] Nullable intersection types | ||
| References: | 1 2 3 4 5 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-115578@lists.php.net to get a copy of this message | ||
> That is a strange attitude. You are saying that you rather see a release with a [known] flaw
> than actually trying to find the best solution.
Sorry, but sometimes features take time either due to technical
reasons (variance was difficult to get right this way), or due to
disagreements in voters. Just as we added scalar and return types in
7.0 but nullable types came only in 7.1, I think it's fine to add pure
intersection types in 8.1 and add the ability to mix unions and
intersections in 8.2.
Is it _ideal_? No, but I'd rather wait than rush something in. There
has been a lot of disagreement in this proposal, and I personally
don't feel comfortable including this in any form for 8.1 because of
this. I would rather wait, and waiting has the advantage that we can
get a cohesive proposal for it to work with all unions and
intersections, and not just a special case.