Re: [PHP-DEV] [RFC] Typed array declarations

>
> There are some problems here:


> 1. You have limited K to int or string, but none of these types can be
> subtyped. As a result K1<:K2 never applies. We can only have K1:=K2.
> 2. You also claim that V is covariant. However, this holds true only for
> read-only arrays. Write operations of an array use V in contra-variant
> positions.


> I am afraid that we cannot have sound covariant subtyping of an array,
> unless we clearly separate the read interface from the write one.


Hey Lazare,

Thank you for the feedback.
I'm going to analyze this and update the RFC document accordingly ASAP.

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