An errata for my email: On Mon, Oct 09, 2006 at 09:44:47AM +0200, Tomasz Zielonka wrote:
No let's get to nitpicking ;-)
should be Now let's get to nitpicking ;-)
* page 8, at about 85%: you say "The state maintained in our example is a simple integer value, but it *can* be any data type we wish". I think it's better to say *could*, because with *can* it could be (mis)understood that in a give State monad use the type of state can change. Also, you are mixing values with types: "simple integer value" vs "any data type".
should be (mis)understood that in a given State monad the type of state can change during the computation. Also, you are mixing values with types: "simple integer value" vs "any data type". Best regards Tomasz