Generating castles for Minecraft™ using Haskell

Building up a little language with the goal of generating a variety of castles for the Minecraft™ game.

Functional pearl: Nested Datacubes

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

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

An exploration of type-safe traversals in Haskell using GADTs.

First post

Tools for making a blog.