Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

A pretty but not greedy printer (functional pearl)

Artikel i vetenskaplig tidskrift
Författare Jean-Philippe Bernardy
Publicerad i Proceedings of the ACM on Programming Languages
Volym 1
Nummer/häfte ICFP
Sidor 1-21
Publiceringsår 2017
Publicerad vid Institutionen för filosofi, lingvistik och vetenskapsteori
Sidor 1-21
Språk en
Länkar https://doi.org/10.1145/3110250
Ämneskategorier Datorsystem

Sammanfattning

This paper proposes a new specification of pretty printing which is stronger than the state of the art: we require the output to be the shortest possible, and we also offer the ability to align sub-documents at will. We argue that our specification precludes a greedy implementation. Yet, we provide an implementation which behaves linearly in the size of the output. The derivation of the implementation demonstrates functional programming methodology.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?