Is my claim on lines 12-13 correct and if so, what's the right way to model a bivariant functor? https://gist.github.com/mpilquist/ce5e0f0e7123e673ab4f … @dibblego @kmett
@mpilquist @kmett I think like this:
class BivariantFunctor[F[_]] {
def tmap[T, A, B](f: A => B): F[T, A] => F[T, B]
}
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
-
@mpilquist@dibblego That matches up with the way I understand them.
End of conversation
New conversation -
-
-
@dibblego@kmett Posted slides and code here - https://github.com/mpilquist/variance-explorations … - talk is next week so let me know if I'm way off base :)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.