@xuwei_k smash that #scala variance shit Kenji https://github.com/xuwei-k/scalaz/commit/595a85521125ca556b851236348304bd675dab8d …
-
@dibblego E.g., Ordering[A] has a contravariant functor and could be written as contravariant in A.
@mpilquist Yes same same. This observation is why subtyping is not as useful as is often alleged.
-
-
@dibblego Despite the obvious similarity in names, this correspondence wasn't clear to me until teaching contravariant functors to OO devs.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.