[Haskell-cafe] Article review: Category Theory

Ulf Norell 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.

/ Ulf

More information about the Haskell-Cafe mailing list