State Transformer

Eray Ozkural (exa)
Sat, 12 Jan 2002 05:16:05 +0200

On Friday 11 January 2002 19:39, Jan-Willem Maessen wrote:
> The ST monad provides safer encapsulation of mutable references.  We
> can prove that references which escape a particular instance of ST are
> never side effected.  See the paper "Lazy Functional State Threads":
> This allows us to construct functions which are certain to present a
> functional face to the world, but use mutation internally.  In this
> respect, ST is actually "better" than IO, albeit less well-supported.

So would writing for instance a GUI library, with abstract interfaces using 
ST be a good idea?


Eray Ozkural (exa) <>
Comp. Sci. Dept., Bilkent University, Ankara
GPG public key fingerprint: 360C 852F 88B0 A745 F31B  EA0F 7C07 AE16 874D 539C