sdiehl/wiwinwlh

Read Online:

• HTML
• PDF
• Example Code

I no longer actively support this document, but I will leave it up on Github for posterity and for historical record. The code is likely quite out of date compared to modern versions of both GHC and the libraries covered.

Contributing

If you want to submit a fix for a typo or fix edit the following Markdown file which generates all other targets.

tutorial.md

Then submit a Pull Request on Github describing your change.

Source code is directly included from the src directory into the resulting document by the preprocessor. To include a new sample edit the example source code directly. When adding a new Haskell file, add it to the ci script inside of the folder so it is run in the continuous integration script.

Source Code

Chapter Code Examples:

• 01-basics/
• 02-monads/
• 03-monad-transformers/
• 04-extensions/
• 05-laziness/
• 06-prelude/
• 07-text-bytestring/
• 08-applicatives/
• 09-errors/
• 10-advanced-monads/
• 11-quantification/
• 12-gadts/
• 13-lambda-calculus/
• 14-interpreters/
• 15-testing/
• 16-type-families/
• 17-promotion/
• 18-generics/
• 19-numbers/
• 20-data-structures/
• 21-ffi/
• 22-concurrency/
• 23-graphics/
• 24-parsing/
• 25-streaming/
• 26-data-formats/
• 27-web/
• 28-databases/
• 29-ghc/
• 30-languages/
• 31-template-haskell/
• 32-cryptography
• 33-categories/
• 34-time/

Compiling

If you'd like to build the documents locally you'll need to compile the preprocessor run either use Nix, Stack or Cabal to compile the preprocessor executable in the cabal file.

Stack:

$ stack install
$ stack exec make

Cabal:

$ cabal install
$ cabal exec make

For Nix:

$ make run-shell
$ ghc --make includes.hs
$ make

After this is built you can build anyone of the available target outputs.

LaTeX

You will need the whole XeTeX suite to compile.

$ apt-get install texlive texlive-xetex texlive-extra texlive-extra-utils
$ make pdf
$ make print

HTML

$ make html

Microsoft Word

$ make docx

Ebook

$ make epub

Continuous Integration

The book and example code is kept stable under continuous integration. The script src/ci will run through all example code and compile it against the example.cabal file of the given chapter. All bounds for dependencies are specified in the cabal file and ensure that the given code examples are up to date.

The CI is run in Github CI on every pull request.

To run the integration suite manually run:

$ cd src && ./ci

License

Copyright © 2009-2025 Stephen Diehl

This code included in the text is dedicated to the public domain. You can copy, modify, distribute and perform the code, even for commercial purposes, all without asking permission.

You may distribute this text in its full form freely, but may not reauthor or sublicense this work. Any reproductions of major portions of the text must include attribution.

The software is provided "as is", without warranty of any kind, express or implied, including But not limited to the warranties of merchantability, fitness for a particular purpose and noninfringement. In no event shall the authors or copyright holders be liable for any claim, damages or other liability, whether in an action of contract, tort or otherwise, Arising from, out of or in connection with the software or the use or other dealings in the software.