Did you see this? http://okmij.org/ftp/Computation/proving-monad-laws.txt
[]'s Rodrigo Geraldo Ribeiro. PhD student - UFMG On Fri, Apr 11, 2008 at 2:35 PM, Rafael C. de Almeida <[EMAIL PROTECTED]> wrote: > Hello, > > I was studying Monads and I was trying to think about new Monads I could > define. So, a question poped into my mind: how is proof regarding the 3 > Monad laws handled? I know that, aside from testing all the possible values > (and there can be a lot of them), there's no general way to prove it. > Nonetheless, I think that it would be insightful to see how people write > those proofs for their monads -- specially for new user monads. Is there > some article or some notes on proving that Monads are implemented correctly? > > []'s > Rafael > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
