sdiehl/write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

3,484

stars

291

commits

Haskell

primary language

Jan 11, 2021

updated

book

compiler

evaluation

functional-language

functional-programming

haskel

hindley-milner

intermediate-representation

lambda-calculus

pdf-book

type

type-checking

type-inference

type-system

type-theory

README

Building a modern functional compiler from first principles.

Stephen Diehl

Read Online:

Releases

This is a work in progress.

Chapter 1: Introduction
Chapter 2: Haskell Basics
Chapter 3: Parsing
Chapter 4: Lambda Calculus
Chapter 5: Type Systems
Chapter 6: Evaluation
Chapter 7: Hindley-Milner Inference
Chapter 8: Design of ProtoHaskell
Chapter 9: Extended Parser
Chapter 10: Custom Datatypes
[Chapter 11: Renamer] (http://dev.stephendiehl.com/fun/010_renamer.html)
Chapter 12: Pattern Matching & Desugaring
Chapter 13: System-F
Chapter 14: Type Classes
Chapter 15: Core Language
Chapter 16: Kinds
Chapter 17: Haskell Type Checker
Chapter 18: Core Interpreter
Chapter 19: Prelude
Chapter 20: Design of Lazy Evaluation
Chapter 21: STG
Chapter 22: Compilation
Chapter 23: Design of the Runtime
Chapter 24: Imp
Chapter 25: Code Generation ( C )
Chapter 26: Code Generation ( LLVM )
Chapter 27: Row Polymorphism & Effect Typing
Chapter 28: Future Work

Building

To generate the build scripts provision a cabal sandbox with pandoc in it. This is done by the write-you-a-haskell.cabal and stack.yaml files.

Stack

$ stack exec make

To generate the pdf, the LaTeX packages must be installed on the system.

$ sudo apt-get install texlive-xetex texlive-latex-extra
$ sudo apt-get install xzdec
$ sudo tlmgr install zapfding
$ stack exec make pdf

Generation of the epub is also supported.

$ stack exec make epub

Cabal

$ cabal sandbox init
$ cabal install --only-dependencies
$ cabal exec bash
$ make

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.

Contributors

(top 30 of 31)

202 commits

34 commits

10 commits

5 commits

Similar repos

sdiehl/wiwinwlh

What I Wish I Knew When Learning Haskell

2,668

same org

sdiehl/kaleidoscope

Haskell LLVM JIT Compiler Tutorial

1,041

same org

HigherOrderCO/Kind

A modern proof language

3,764

shared topics

never-lang/never

Never: statically typed, embeddable functional programming language.

460

shared topics

grin-compiler/grin

GRIN is a compiler back-end for lazy and strict functional languages with whole program…

1,080

shared topics

quchen/articles

Miscellaneous articles. The readme is the table of contents.

1,305

ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

6,552

shared topics

system-f/fp-course

Functional Programming Course

4,243

Languages

Haskell

81.1%

CSS

4.7%

OCaml

2.9%

Python

1.7%

JavaScript

1.7%

Yacc

1.4%

C++

1.4%

Logos

1.2%

HTML

1.2%

Makefile

1.1%

sdiehl/write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

3,484

stars

291

commits

Haskell

primary language

Jan 11, 2021

updated

book

compiler

evaluation

functional-language

functional-programming

haskel

hindley-milner

intermediate-representation

lambda-calculus

pdf-book

type

type-checking

type-inference

type-system

type-theory

README

Building a modern functional compiler from first principles.

Stephen Diehl

Read Online:

Releases

This is a work in progress.

Chapter 1: Introduction
Chapter 2: Haskell Basics
Chapter 3: Parsing
Chapter 4: Lambda Calculus
Chapter 5: Type Systems
Chapter 6: Evaluation
Chapter 7: Hindley-Milner Inference
Chapter 8: Design of ProtoHaskell
Chapter 9: Extended Parser
Chapter 10: Custom Datatypes
[Chapter 11: Renamer] (http://dev.stephendiehl.com/fun/010_renamer.html)
Chapter 12: Pattern Matching & Desugaring
Chapter 13: System-F
Chapter 14: Type Classes
Chapter 15: Core Language
Chapter 16: Kinds
Chapter 17: Haskell Type Checker
Chapter 18: Core Interpreter
Chapter 19: Prelude
Chapter 20: Design of Lazy Evaluation
Chapter 21: STG
Chapter 22: Compilation
Chapter 23: Design of the Runtime
Chapter 24: Imp
Chapter 25: Code Generation ( C )
Chapter 26: Code Generation ( LLVM )
Chapter 27: Row Polymorphism & Effect Typing
Chapter 28: Future Work

Building

To generate the build scripts provision a cabal sandbox with pandoc in it. This is done by the write-you-a-haskell.cabal and stack.yaml files.

Stack

$ stack exec make

To generate the pdf, the LaTeX packages must be installed on the system.

$ sudo apt-get install texlive-xetex texlive-latex-extra
$ sudo apt-get install xzdec
$ sudo tlmgr install zapfding
$ stack exec make pdf

Generation of the epub is also supported.

$ stack exec make epub

Cabal

$ cabal sandbox init
$ cabal install --only-dependencies
$ cabal exec bash
$ make

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.