19 Jan
2007
19 Jan
'07
7:49 a.m.
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