Dylan Thurston wrote: [snip] > I've often been bothered by the inconsistent treatment of laws in the > report; why are there laws for functors, monads, and quot/rem and > div/mod, and not much else? I'm pleased to see that the laws that are > given actually do have exceptions. [snip] Even the quot/rem and div/mod laws are not always true, for example if you divide by zero, or (for div/mod, where overflows cause an error) where you get an overflow with (x `div` y) * y. Perhaps we need something in the report to state that these laws like these and the Monad laws are only intended as aspirations rather than promises. _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
- State monads don't respect the monad laws in Haskell Simon Marlow
- Re: State monads don't respect the monad laws in H... David Feuer
- Re: State monads don't respect the monad laws in H... Ross Paterson
- Re: State monads don't respect the monad laws in H... George Russell
- Re: State monads don't respect the monad laws ... Dylan Thurston
- Re: State monads don't respect the monad l... George Russell
- Re: State monads don't respect the monad laws ... S.M.Kahrs
- Re: State monads don't respect the monad l... George Russell
- Re: State monads don't respect the monad laws in H... Jan-Willem Maessen
- Re: State monads don't respect the monad laws ... Ken Shan
- Re: State monads don't respect the monad l... Hal Daume III
- Re: State monads don't respect the mon... Jorge Adriano
- Re: State monads don't respect th... Iavor S. Diatchki
- Re: State monads don't respec... Hal Daume III
- Re: State monads don't respect the mon... Alastair Reid