Magical Haskell

Anton Antich

Table of Contents

How this book came to be: instead of an introduction

How this book came to be: instead of an introduction
Short Introduction: How To Read This Book

Part 1: Foundation

Chapter 1: Wizards, Types, and Functions
Chapter 2: Type Construction
Chapter 3M: Gentle Type Theory Intro

Part 2: I Wanna Be FAMIOus!

Chapter 4: Basic Typeclasses or “Show Me A Monoid”
- Algebra is cool
- Typeclasses Hierarchy in Haskell
Chapter 5: Functor, Bifunctor, Trifunctor?
- 3-Dimensional Vector Example
- You are Either Functor or a Bifunctor
Chapter 6: Applicative
Chapter 7: Monad
Chapter 8: IO
Chapters below are not finished yet :) Stay tuned!
Chapter 7M: Light Category Theory Intro
Chapter 8: Real World Programs: putting Ogres to sleep while counting bodies
Chapter 9: Folding stuff, Traversing structures
- Functional data structures
- What killed the for loop
Chapter 9M: Lambda Calculus

Part 3: Getting Practical

Chapter 10: More Dependent Types
- Multiparameter Typeclasses
- Data and Type Families
Chapter 11: Mutable variables and Vectors
- ST-Monad
Chapter 12: Parallel computations
Chapter 13: High-performance math and data analysis
Chapter 14: GUI: to FRP or not to FRP?
Chapter 15: Let’s Make a Language!
- Parsers and Lexers
- Type System

Magical Haskell/Part 2: I Wanna Be FAMIOus!/Chapter 9M: Lambda Calculus

Chapter 9M: Lambda Calculus

Up next

Chapter 10: More Dependent Types

In this chapter

Chapter 9M: Lambda Calculus