Magical Haskell

Course overview

Modern typed functional programming and Haskell language in a fun and accessible way using real world examples and visuals to help structure abstract concepts.

4 parts
21 chapters
Begin reading
Download
Part 1

How this book came to be: instead of an introduction2 chapters

Begin part
  1. How this book came to be: instead of an introduction

  2. Short Introduction: How To Read This Book

Part 2

Part 1: Foundation3 chapters

Begin part
  1. Chapter 1: Wizards, Types, and Functions

  2. Chapter 2: Type Construction

  3. Chapter 3M: Gentle Type Theory Intro

Part 3

Part 2: I Wanna Be FAMIOus!10 chapters

Begin part
  1. Chapter 4: Basic Typeclasses or “Show Me A Monoid”

  2. Chapter 5: Functor, Bifunctor, Trifunctor?

  3. Chapter 6: Applicative

  4. Chapter 7: Monad

  5. Chapter 8: IO

  6. Chapters below are not finished yet :) Stay tuned!

  7. Chapter 7M: Light Category Theory Intro

  8. Chapter 8: Real World Programs: putting Ogres to sleep while counting bodies

  9. Chapter 9: Folding stuff, Traversing structures

  10. Chapter 9M: Lambda Calculus

Part 4

Part 3: Getting Practical6 chapters

Begin part
  1. Chapter 10: More Dependent Types

  2. Chapter 11: Mutable variables and Vectors

  3. Chapter 12: Parallel computations

  4. Chapter 13: High-performance math and data analysis

  5. Chapter 14: GUI: to FRP or not to FRP?

  6. Chapter 15: Let’s Make a Language!