[Haskell-cafe] Article review: Category Theory
ulfn at cs.chalmers.se
Fri Jan 19 07:49:33 EST 2007
On Jan 19, 2007, at 1:06 PM, Yitzchak Gale wrote:
> 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...
Personally I think that the distinction between _|_ and \x -> _|_ is
a mistake and should be ignored whenever possible.
More information about the Haskell-Cafe