I was reading through the Hacklang docs on Collections, and came across this curious definition [paraphrased slightly]: interface KeyedIterable<Tk, Tv> ... interface ConstVector<+Tv> implements KeyedIterable<int, Tv> ... Of course, KeyedIterable must be read-only with respect to Tv, and indeed it is since its methods cannot modify its type. It could be specified to be covariant on at least Tv, but isn't. I was wondering what impetus there could be to do this? --- Edit: I read the definition w...| Recent Questions - Software Engineering Stack Exchange
It is said that C's type system is unsound, which means that it has "false negatives", it tells the programmer everything is fine, but then the code fails at runtime. for example, "the program can reach a state where an expression evaluates to a value that doesn't match the expression's static type" I learned it from the lecture notes of the course CSE341 in university of Washington which are available online. It says: with respect to some thing X we wish to prevent. For example, X could be, ...| Recent Questions - Software Engineering Stack Exchange