Am Dienstag, 30. August 2005 13:13 schrieb Bayley, Alistair:

[...]

I was also wondering what the disadvantages of monadic style are? Are there compiler optimisations which are not possible with monadic code?

State or StateT are monads which are implemented using ordinary pure Haskell. So, at least in the case of these two monads, you probably will enjoy the full power of optimizing. :-) Certain ST actions are implemented in Haskell, using lower level features, so certain optimizations should happen here as well.

Alistair.

Best wishes, Wolfgang