7gt& |
A prettier printer - Philip Wadler
https://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf
Saved on 2025-04-10 [20188 edays] via homepages.inf.ed.ac.uk
Modified 2025-04-10 [20188 edays]
papers programming
https://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf
Saved on 2025-04-10 [20188 edays] via homepages.inf.ed.ac.uk
Modified 2025-04-10 [20188 edays]
papers programming
Joyce Kilmer and most computer scientists agree: there is no poem as lovely as a tree. In our love affair with the tree it is parsed, pattern matched, pruned — and printed. A pretty printer is a tool, often a library of routines, that aids in converting a tree into text. The text should occupy a minimal number of lines while retaining indentation that reflects the underlying tree. A good pretty printer must strike a balance between ease of use, flexibility of format, and optimality of output.