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.

Ergonomic Input

My new improved setup for comfortable working.

Structural Typing for Structured Products

Slides and some example code for the Haskell Exchange 2014 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

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

First post

Tools for making a blog.