That is a very interesting paper on type-safe covariance. I will have to think about it, but it may be enough to make me abandon my position that statically bound languages inevitably lead to developers recreating the problems of dynamically bound ones anyway.

Reply via email to