Tony Morris

@djspiewak @darinmorrison I can see how you might think this is true but it cannot make sense no matter how I look at it.

@dibblego @darinmorrison It’s a line of thinking that I believe is worth pursuing, because it leads to ideas about pure “regions”.

@djspiewak @darinmorrison These have been implemented, even in Scala. Do you know the free monad?

@dibblego @darinmorrison Or, more precisely, free monads allow joining of these regions, which is more important.

@djspiewak @darinmorrison the coproduct of functors allows the joining.

@dibblego @darinmorrison Is that what you get if you split “join” from “return”?

@djspiewak @darinmorrison no that would be a semi-monad. A => Either[F[A], G[A]] joins the functors F and G.

@dibblego @darinmorrison I think I’m missing a function there. I don’t see how that gives us join.