Is there *any* valid excuse for Dart's decision to be unsound around variance?
@mraleph @jorendorff @sulnedinfind Is this out of date then? https://www.dartlang.org/articles/why-dart-types/#optimism-on-down-assignments …
-
-
@pcwalton it's to remove need in explicit casting. whole language is dynamically typed anyways. -
@mraleph That makes no sense to me. If you have types you should have casts… - 9 more replies
New conversation -
-
-
@pcwalton true, if randomAnimal is a variable of type Animal then there will be no static warning but will be runtime assert in checked modeThanks. Twitter will use this to make your timeline better. UndoUndo
-
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.