A New Standard ML Prettyprinter Library - An Experience Report

Explore a new design for a Standard ML prettyprinter library in this 29-minute conference talk presented by David MacQueen at ML'23. Delve into the synthesis of ideas from PPML (Prettyprinter Meta Language) and the "algebraically derived" prettyprinter libraries of Hughes and Wadler. Discover a simple, user-friendly model of prettyprinting based on an intermediate data structure called a format. Learn about the implementation as a set of modules programmed in a strict, purely functional style. Gain insights into this experience report that showcases the development and advantages of this new prettyprinter library for Standard ML.

[ML'23] A New Standard ML Prettyprinter Library, An Experience Report