Re: Pretty-printing and auto-formatting Scheme code
Lassi Kortela 15 Feb 2020 19:47 UTC
> Making Emacs format a file from the command line is basically a one-line shell script.
Unfortunately Emacs is heavy and fickle to have as a build dependency.
I've had cheap VPS servers run out of disk space due to installing Emacs
from the OS package manager. It also adds bloat to Docker images.
Ephemeral containers are very convenient for CI builds (spin up
container, run build script, save build products, destroy container)
among other purposes.
> Got it. Line breaking seems to be the hard part, based on the
> above-linked article and the descriptions in the TeXBook, because of
> the combinatorial explosion.
It may actually be that the line breaking algorithms in auto-formatters
are descendants of the TeX paragraph filling algorithm :)
> I once implemented a pretty printer for generated C++ code based on this
> paper: Strictly Pretty (Citeseer
> <http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.2200>). The
> algorithm is clearly described, and I'm sure that it would be easy to
> apply to Scheme.
PDF: <https://lindig.github.io/papers/strictly-pretty-2000.pdf>
Very nice. Would you be willing to re-implement one for Scheme?
I suspect that for a really good job we'll end up needing a
penalty-points system like clang-format. It's probably the best
auto-formatter I've used, does a terrific job of C code and very rarely
produces anything ugly. Then again, C's block structure is way simpler
than Lisp since there's a clear separation between statements and
expressions, and a cultural attitude that it's the programmer's own
fault if complex expressions get ugly.
> (Alas, the references give no credit to earlier pretty
> printers in Lisp. It's written as if Wadler invented pretty printing.)
CS literature can be weird. Perhaps because the field is so young that
we have few authorities.