1. 17
  1. 3

    In addition to this book, there’s also another by the same author (Simon Peyton Jones): Implementing Functional Languages: a tutorial.

    I recall the book in the OP dealing with the translation of a higher level language into a simplified “core” language, whereas the book I linked deals with the G-machine and other runtime details of lazy functional languages.

    Edit: actually, I’m wrong. I see graph reduction and G-machines in the table of contents of the linked OP book. Regardless, I suppose the “tutorial” book is a complementary resource.

    1. 1

      This is not the fully edited and final version of the text btw. Still usable, just be aware that there are errors.

      e.g. Efficient compilation of pattern-matching and Transforming the enriched Lambda Calculus in the table of contents have the same number 5 leading them.

      1. 5

        That copy is a highly compressed djvu to pdf conversion and that error is actually a compression artifact from the djvu version, see: https://en.wikipedia.org/wiki/JBIG2#Disadvantages

        For a copy without the compression artifact (but also uncropped), see: https://www.microsoft.com/en-us/research/publication/the-implementation-of-functional-programming-languages/

        1. 1

          That’s really interesting, I had no idea! Thank you.