Sun Oct 30 01:22:10 EDT 2011


It is rather instructive to creative use of a continuation monad for
Let insertion[1] implemented in a pure functional style; I'm writing
one in Haskell.  It uses a combination of CPS and direct style to be
able to create nested expressions, effectively manipulating the
toplevel continuation.

[1] http://www.cs.rice.edu/~taha/publications/conference/pepm06.ps