[HN Gopher] Pretty Printing (1979) [pdf]
       ___________________________________________________________________
        
       Pretty Printing (1979) [pdf]
        
       Author : azhenley
       Score  : 17 points
       Date   : 2022-07-31 15:50 UTC (2 days ago)
        
 (HTM) web link (i.stanford.edu)
 (TXT) w3m dump (i.stanford.edu)
        
       | hardwaregeek wrote:
       | The more commonly cited paper is the Wadler paper[1]. It's the
       | backbone of Prettier. Although tbh it's a little hard to decode
       | the semantics of the Wadler paper into a more conventional
       | language because of Haskell's laziness. Stuff like union is
       | implicitly lazy in the paper which can trip you up.
       | 
       | Also while the core semantics are (basically) the same in the
       | Wadler paper and Prettier, there's a thick layer of special cases
       | that allows Prettier to actually print stuff in a human readable
       | way. Turns out there's a lot more than just math when it comes to
       | readability.
       | 
       | [1]:
       | https://homepages.inf.ed.ac.uk/wadler/papers/prettier/pretti...
        
       | jmt_ wrote:
       | Amusing that a PDF discussing pretty printing is typeset like
       | this. I've noticed this across many PDFs in the past - anyone
       | know what causes it?
        
         | Sharlin wrote:
         | It's a scanned and OCR'd hardcopy (after all, desktop
         | typesetting was just _barely_ a thing in 1979) but nobody has
         | bothered to clean up the OCR results.
        
       ___________________________________________________________________
       (page generated 2022-08-02 23:01 UTC)