Write You a Haskell: Building a modern functional compiler from first principles
Report a link problem
Submission timeline
2007–2026One 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.
Top comments
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…
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.
HN stats
- Breakout years
- 2
- Total points
- 637
- Total comments
- 64
100+ points or 50+ comments
reference only — not used in Hall rules or ranking
reference only — not used in Hall rules or ranking
Every submission
| Date | Title as submitted | By | Points | Comments |
|---|---|---|---|---|
| 2015-01-05 | Write You a Haskell: Building a modern functional compiler from first principlesFirst breakout · Best thread | tenslisi | 472 | 47 |
| 2016-03-25 | Write you a Haskell: Building a modern functional compiler from first principles | adamnemecek | 4 | 0 |
| 2016-07-08 | Write You a Haskell | DanWaterworth | 3 | 0 |
| 2016-07-13 | Building a modern functional compiler from first principles | hitr | 2 | 0 |
| 2017-03-03 | Write you a Haskell (2015)Hall induction · Latest 20+ point return | myth_drannon | 151 | 17 |
| 2019-10-14 | Write You a Haskell: Building a modern functional compiler from first principles | ducaale | 5 | 0 |