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.
