It's sad to see subtyping being the issue here. But this must happen with every intersection type then?
Inspired by @sjrdoeraene's proposal to tweak weak conformance in Scala, I just wrote a more ambitious proposal on how we could remove weak conformance entirely, get better type inference on literals, and avoid more AnyVals, mostly using existing features.https://contributors.scala-lang.org/t/proposal-to-drop-weak-conformance-from-the-language/2819/29?u=propensive …
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I really, really like you proposal and I feel so sorry it was put appart ;/ It really seems to be the correct thing to do for the long run.
Thanks. 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.