I've always thought the aversion to variance was a mistake...
-
This Tweet is unavailable.
-
This Tweet is unavailable.
-
Any reason why ppl prefer not to use variance? I thought it would always provide benefit of relaxing type hierarchy restrictions, which would be something desired in fp libs
It's a trade-off between several constraints. Invariance is easier at the definition-site, but has a cost at every use-site. But I have too much to say about this to put into a tweet... ;)
