Re: [Haskell-cafe] A question about "monad laws"

2008-02-11 Thread Michael Reid
> Now it should be easier to see that this is simply associativity. It's > easy enough to violate, if you want to - but I don't have any nice > simple examples to hand. > > I have recently been reading a tutorial or paper where a Monad that violated this law was presented. The authors shrugged it o

Re: [Haskell-cafe] Why functional programming matters

2008-01-25 Thread Michael Reid
Yaakov Nemoy wrote: I'm still very much a newbie, but the one thing that struck me as the best feature coming from Python is the static typing. Changing the type of a function in Python will lead to strange runtime errors that take some work to debug, whereas, when I tinker with a program in Ha