Flambda2 Ep. 4: How to write a purely functional compiler

For context I found the first article in this series helpful, and it includes links to the rest of the series.