Skip to main content

Questions tagged [hiphop]

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

Filter by
Sorted by
Tagged with
8 votes
2 answers
392 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> ...
concat's user avatar
  • 517