[Haskell-cafe] Monad proof
rodrigogribeiro at gmail.com
Fri Apr 11 13:39:08 EDT 2008
Did you see this?
Rodrigo Geraldo Ribeiro.
PhD student - UFMG
On Fri, Apr 11, 2008 at 2:35 PM, Rafael C. de Almeida <almeidaraf at gmail.com>
> 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?
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe