HN Hall of Fame Weekly email

Write You a Haskell: Building a modern functional compiler from first principles

dev.stephendiehl.com Books & learning Tutorials & guides Computer science Class of 2017-03 Hall of Fame
Screenshot of dev.stephendiehl.com captured 2026-07-20
Page preview · captured 2026-07-20

Resurfaced independently across 4 calendar years, with breakout response in 2 of them.

submissions
6
submitters
6
observed span
2015–2019
peak thread · 47 comments
472 pts
latest 20+ return · 2017-03-03
151 pts

Submission timeline

2007–2026

One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.

First comments on top threads

HN comment order

Now this is very interesting! There are plenty of compiler writing tutorials for conservative, imperative programming languages with a straightforward static type system (like C). I did study a little bit of compilers for functional languages from Simon Peyton-Jones' old book "The Implementation of Functional Programming Languages" [0]. It predates the Haskell programming language and uses a contemporary research language called Miranda as the target as well as the "host" language. ... which brings me to another…

exDM69·472-point thread·

It seems that development on the book has slowed or halted. Is the author planning to continue? This sounds like a rich and interesting subject that I would enjoy following through to the end. Another book I've found helpful for Haskell is: Haskell Programming from First Principles (http://haskellbook.com/)

The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.

Breakout years
2

100+ points or 50+ comments

Total points
637

reference only — not used in Hall rules or ranking

Total comments
64

reference only — not used in Hall rules or ranking

Every submission

DateTitle as submittedByPointsComments
2015-01-05Write You a Haskell: Building a modern functional compiler from first principlesFirst breakout · Best threadtenslisi47247
2016-03-25Write you a Haskell: Building a modern functional compiler from first principlesadamnemecek40
2016-07-08Write You a HaskellDanWaterworth30
2016-07-13Building a modern functional compiler from first principleshitr20
2017-03-03Write you a Haskell (2015)Hall induction · Latest 20+ point returnmyth_drannon15117
2019-10-14Write You a Haskell: Building a modern functional compiler from first principlesducaale50