I was told last night that type `A with B` != `B with A` even though each subtypes t'other. I'm not convinced. Can anyone explain it to me?
By what aspect of *type* theory breaks if we assume `A with B` == `B with A`? I might be asking the wrong question, here...
-
-
If only I could search scala-internals for <:< or =:= ........
-
You could narrow it down by filtering on
@contrarivariant... - Show replies
New conversation -
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.