About the Book

Hi there. My name is Sandy Maguire and you might know me from my blog where I write about type-level programming in Haskell.

This book came to be when I realized that learning type-level programming was
harder than it needed to be. While the information was available, it wasn’t
organized. The best way to learn this stuff was to read through
dozens of blog posts—each of which described a small piece of the
puzzle—and attempt to synthesize it for yourself.

I knew we could do better.

Without further ado, I’d like to introduce Thinking with Typ