Questions tagged [hiphop]

HipHop for PHP transforms PHP source code into highly optimized C++.

Filter by
Sorted by
Tagged with
6
votes
1answer
195 views

Should an interface covariant on T ever implement an interface invariant on it?

I was reading through the Hacklang docs on Collections, and came across this curious definition [paraphrased slightly]: interface KeyedIterable<Tk, Tv> ... interface ConstVector<+Tv> ...