[Haskell-cafe] Article review: Category Theory
gale at sefer.org
Fri Jan 19 07:06:33 EST 2007
Hmm. I wrote:
> for simplicity, we will ignore these distinctions
But do we really want to do that? Are the "monads"
that we use every day in Haskell really monads
if we check the axioms using (.!) instead of (.)
as we should? I'm not so sure anymore...
Maybe this is the explanation of the problems we
have been discussing recently about strictness
in the MTL monads.
More information about the Haskell-Cafe