Compilers are lazy denotational interpreters | Dark Hacker News