[Haskell-cafe] Monads, do and strictness

Sebastian Fischer fischer at nii.ac.jp
Mon Jan 23 15:29:19 CET 2012

On Sun, Jan 22, 2012 at 5:25 PM, David Barbour <dmbarbour at gmail.com> wrote:
> The laws for monads only apply to actual values and combinators of the monad algebra

You seem to argue that, even in a lazy language like Haskell,
equational laws should be considered only for values, as if they where
stated for a total language. This kind of reasoning is called "fast
and loose" in the literature and the conditions under which it is
justified are established by Danielsson and others:



More information about the Haskell-Cafe mailing list