Everybody, just stop with calling #scalaz' unsafePerformIO. Use this: https://github.com/scalaz/scalaz/blob/scalaz-seven/effect/src/main/scala/scalaz/effect/SafeApp.scala … - now you're closer to #Haskell
@nuttycom @puffnfresh trait Forall[F[_], G[_]] { def apply[A](x: F[A]: G[A] }
-
-
@dibblego@puffnfresh A natural transformation between F and G? Why call it Forall? -
@nuttycom@puffnfresh Yeah bad name, just because of the position of [A].
End of conversation
New conversation -
-
-
@dibblego@puffnfresh IO[A] => IO[Future[A]] is the only theorem that's relevant here, I think. And that's because Future is broken. -
@nuttycom@puffnfresh Agree, let's fix Future.
End of conversation
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.