Статья одного из пропагандистов ФП о разработке библиотеки комбинаторов вывода. Реализация осуществлена на языке Haskell.Краткое содержание:Introduction
A Preview of the Pretty-printing Library
Deriving Functional Programs from Specifications
Designing a Sequence Type
Implementing Monads
Monads for Backtracking
Specifying Pretty-printing
Implementing Pretty-printing: A Term Representation
Optimized Pretty-printing: A Term Representation
A Context-passing Pretty-printer
A Comparison with Oppen's Pretty-printer
Conclusions
References
The Optimised Pretty-printing Library
