Hey Rowan,

Your "level 1" sounds similar in spirit to the "bound-erased generics" RFC
> which was just declined:
> https://wiki.php.net/rfc/bound_erased_generic_types


> Reserving the syntax without directly enforcing it was not popular, and
> could actually make it *harder* to add an enforced version later, because
> you'd be changing the behaviour of existing code.


> I think this is one of those cases where just talking about the abstract
> design doesn't get us very far without a concrete plan of implementation -
> there's plenty of support for the feature *in theory*, but the reason it
> hasn't happened is that it's really hard to do well within PHP's runtime
> type model.


I totally get it.
So maybe for now the best would be to defer this RFC until we get the
generics design wrapped up.

I'll be happy to help in any way I can for it, if needed.

Also, if anyone else has any other feedback, questions, or concerns about
the RFC, I'd be happy to discuss about it.

*---*
*Best Regards,*
*Wendell Adriel.*
*Software Engineer & Architect*
*https://wendelladriel.com <https://wendelladriel.com>*

Reply via email to