mirror of
https://github.com/sdiehl/write-you-a-haskell.git
synced 2024-11-05 02:33:57 +03:00
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
bookcompilerevaluationfunctional-languagefunctional-programminghaskelhindley-milnerintermediate-representationlambda-calculuspdf-bookstarred-repostarred-sdiehl-repotypetype-checkingtype-inferencetype-systemtype-theory
3b0358ebec
* New trigger `pdf`: Builds all chapters into a single pdf. |
||
---|---|---|
chapter1 | ||
chapter2 | ||
chapter3 | ||
chapter4 | ||
chapter5 | ||
chapter6 | ||
chapter7 | ||
chapter8 | ||
chapter9 | ||
css | ||
img | ||
js | ||
misc | ||
.gitignore | ||
000_introduction.md | ||
001_basics.md | ||
002_parsers.md | ||
003_lambda_calculus.md | ||
004_type_systems.md | ||
005_evaluation.md | ||
006_hindley_milner.md | ||
007_path.md | ||
atom.xml | ||
contributing.md | ||
includes.hs | ||
index.md | ||
latex_macros | ||
LICENSE | ||
Makefile | ||
page.tmpl | ||
README.md |
Building a modern functional compiler from first principles.
Releases
December
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.
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.