On Dec 20, 2011, at 8:38 PM, Ben Lippmeier wrote: > Some would say that non-termination is a computational effect, and I can > argue either way depending on the day of the week.
*shrug* I figure that whether you call _|_ a value is like whether you accept the Axiom of Choice: it is a situational decision that depends on what you are trying to learn more about. > Of course, the history books show that monads were invented *after* it was > decided that Haskell would be a lazy language. Talk about selection bias. True, but I am not quite sure how that is relevant to _|_... Cheers, Greg
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
