Home > Publications > Reports > Informatics (CW)


CW 595

Tom Schrijvers, Bruno C.d.S. Oliveira
The monad zipper

Abstract

Limitations of the monad stacks get in the way of developing highly modular programs with effects. This pearl demonstrates that Functional Programming's abstractions are up to the challenge. Of course, abstraction must be followed by clever instantiation: Huet's zipper for the monad stack makes components jump through unanticipated hoops.

report.pdf (727K) / mailto: T. Schrijvers