A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
The extension of Haskell with a built-in state monad combines mathematical elegance with operational efficiency: Semantically, at the source language level, constructs that act on the state are viewed as functions that pass an explicit store data structure around. Operationally, at the implementation level, constructs that act on the state are viewed as statements whose evaluation has the side-effect of updating the implicit global store in place.doi:10.1016/s1571-0661(05)80690-5 fatcat:ca6pesadpzdo7gki7rmbtjyh7q