[Haskell-cafe] Interpreter with Cont

oleg at okmij.org oleg at okmij.org
Tue Nov 22 10:54:00 CET 2011

I would recommend Ralf Hinze's ICFP00 Pearl

	Deriving Backtracking Monad Transformers

He starts with a monad transformer expressed as a free term algebra,
and shows step-by-step how to transform it to a more efficient
context-passing style. He deals with exceptions and backtracking
rather than IO; the ideas are quite similar though.

More information about the Haskell-Cafe mailing list