Functional pearl: Nested Datacubes

Multi-dimensional aggregation and grouping using nested datacubes in Haskell.

Ergonomic Input

My new improved setup for comfortable working.

Structural Typing for Structured Products

Slides and some example code for the Haskell Exchange talk.

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.