The next 700 Haskell implementations The scope of the chapters in this book is huge. I have written one or two functional language compilers as hobby projects,

The next 700 Haskell implementations The scope of the chapters in this book is huge. I have written one or two functional language compilers as hobby projects, and I have attempted to acquaint myself with the literature in the process. It has got to be a challenge to create a tutorial sequence of chapters that builds to a satisfying state at each stage. Especially on this topic, which I believe covers almost everything we know about compiling and executing code. The rest of it would maybe require an implementation of Agda or something.