I'm discovering Scala is more kindsafe than I'd previously realised; unfortunately, I think I want dynamic kinding right now.
-
@propensive Uh. I'm not even sure I know what "dynamic kinding" is supposed to mean :-)
@larsr_h I *want* it to mean a way to avoid the kind error I'm getting (which seems to relate only to a covariance annotation)...
-
-
@propensive Beware, for there are soundness problems ahead. -
@propensive … to be a little bit more clear: When abstracting over type constructors with variance annotations, scalac is sometimes unsound. - 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.