Is there *any* valid excuse for Dart's decision to be unsound around variance?
-
-
Replying to @BrendanEich
@BrendanEich But variance isn't hard. I don't understand why you'd cut that corner.1 reply 0 retweets 0 likes -
Replying to @BrendanEich
@BrendanEich Not really, just use + and - like Scala. This is a solved problem IMO…2 replies 0 retweets 0 likes -
Replying to @pcwalton
@pcwalton@BrendanEich Variance may have been theoretically solved, but it's still tricky for users http://stackoverflow.com/questions/676615/why-is-scalas-immutable-set-not-covariant-in-its-type …2 replies 0 retweets 0 likes -
Replying to @rafaeldff
@rafaeldff@pcwalton@BrendanEich Yes. The 'edge cases' are always too hard to understand and happen too often.1 reply 0 retweets 0 likes -
Replying to @nick_r_cameron
@nick_r_cameron@rafaeldff@BrendanEich I haven't noticed trouble with variance in Rust, and it handles variance correctly.1 reply 0 retweets 0 likes -
Replying to @pcwalton
@pcwalton@rafaeldff@BrendanEich do you have a link for variance in Rust? I couldn't find anything when I looked 2-ish months ago.1 reply 0 retweets 0 likes
@nick_r_cameron @rafaeldff @brendaneich It's not documented, but type checking has to handle it properly when lifetimes are involved.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.