Building a modern functional compiler from first principles.

Stephen Diehl

Releases

December

• Chapter 1: Introduction
• Chapter 2: Haskell Basics
• Chapter 3: Parsing
• Chapter 4: Lambda Calculus

January

• Chapter 5: Type Systems
• Chapter 6: Evaluation
• Chapter 7: Hindley-Milner Inference
• Chapter 8: Design of ProtoHaskell

February

• Chapter 9: Extended Parser
• Chapter 10: Custom Datatypes
• Chapter 11: Renamer
• Chapter 12: Pattern Matching & Desugaring

March

• Chapter 13: System-F
• Chapter 14: Type Classes
• Chapter 15: Core Language

April

• Chapter 16: Kinds
• Chapter 17: Haskell Type Checker
• Chapter 18: Core Interpreter
• Chapter 19: Prelude

May

• Chapter 20: Design of Lazy Evaluation
• Chapter 21: STG

June

• Chapter 22: Compilation
• Chapter 23: Design of the Runtime

July

• Chapter 24: Imp
• Chapter 25: Code Generation ( C )
• Chapter 26: Code Generation ( LLVM )

August

• Chapter 27: Row Polymorphism & Effect Typing
• Chapter 28: Future Work

Contributing

Any and all contributions are always welcome. As always, I rely on the perpetual kindness and goodwill of Haskellers (like you!) to help correct grammar, clarify, and fix errors.

• Contributing

License

This written work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. You may reproduce and edit this work with attribution for all non-commercial purposes.

The included source is released under the terms of the MIT License.