Map Comprehensions

An idea for a useful indexed monad: the map comprehension.

The Essence of Compilation

A toy compiler and virtual-machine in less than fifty lines of haskell.

Fixing GADTs

Generic recursion schemes for GADTs using fixed points of higher-order functors.

First post

A new blog on applied functional programming.

under
                construction