I'm discovering Scala is more kindsafe than I'd previously realised; unfortunately, I think I want dynamic kinding right now.
-
-
Replying to @propensive
@propensive Uh. I'm not even sure I know what "dynamic kinding" is supposed to mean :-)1 reply 0 retweets 0 likes -
Replying to @propensive
@propensive Beware, for there are soundness problems ahead.2 replies 0 retweets 0 likes -
Replying to @larsr_h
@propensive … to be a little bit more clear: When abstracting over type constructors with variance annotations, scalac is sometimes unsound.2 replies 0 retweets 0 likes -
Replying to @propensive
@propensive e.g. https://issues.scala-lang.org/browse/SI-7872 , https://issues.scala-lang.org/browse/SI-2066 and some more.2 replies 0 retweets 0 likes
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.