Ryan Ingram
I just want to point out that this isn't true; "put" in the State monad doesn't do any destructive update at all (unlike, for example, IORef). newtype State s a = State { runState :: s -> (a,s) } That is, your "divisions" function of type divisions :: State DivIter DivIter is equivalent to the type runState divisions :: DivIter -> (DivIter, DivIter) and the code is the same as if you'd just passed the DivIter directly along. -- ryan
Oops ? sry, i do not understand nothing. The syntax with the block in "newtype State s a = State { runState :: s -> (a,s) }" is not in the tutorials i read. And i do not understand " ... passed the DivIter directly along ". "Passed along" ?? But you'd probably better try not to explain this. Continued work in Haskell by itself will let me understand that some weeks from now. Thanks, Joost