Recently i bought a second-hand copy of Simon Peyton Jones' classic The implementation of functional programming languages, and i've been having some very pleasant reading hours during the last week. For instance, i've enjoyed Simon's clear and to-the-po...