[ANN] A pretty expressive printer

Announcing pretty-expressive, a pretty printer based on our paper, A pretty expressive printer[1], which is to appear in the upcoming OOPSLA'23.

The precursor of this pretty printer, pprint-compact, will be deprecated, and the Racket code formatter fmt will switch to use pretty-expressive very soon. pretty-expressive will also power fmt2, the next version of the Racket code formatter, from the start.

Source: GitHub - sorawee/pretty-expressive: A pretty expressive printer
Documentation: pretty-expressive: a pretty expressive printer

Feedback is welcome!

[1]: Sorawee Porncharoenwase, Justin Pombrio, and Emina Torlak. A pretty expressive printer. In Proc. Object-Oriented Programming, Systems, Languages and Applications, 2023.

16 Likes

Looks interesting! I can't find a link to the actual OOPLSA paper. Can you share it here?

1 Like

Yes! The pre-print is at https://github.com/sorawee/pretty-expressive-oopsla23-artifact/blob/main/pdf/oopsla23-paper307.pdf.

4 Likes

The above PDF (initially submitted paper for review) is now gone. But it can still accessed from https://github.com/sorawee/pretty-expressive-oopsla23-artifact/blob/641a278d735b3bb2f0260c586a9ba6566d3521e4/pdf/oopsla23-paper307.pdf

Our full paper with appendices is now at https://sorawee.github.io/pretty-expressive-oopsla23-artifact/full-paper.pdf

3 Likes