Monthly Archives: May 2011

Bit-rotted text adventure EDSL free to a good home

Posted on May 27, 2011 by

In early 2008 I started working on a Haskell embedded domain-specific language for authoring text adventure games. It didn’t get all that far since I didn’t know a whole lot about either text adventure games or Haskell. But I think … Continue reading →

Posted in haskell, projects | Tagged , , , | 5 Comments

Themes on Streams, Part II

Posted on May 20, 2011 by

In a previous post I claimed that comonad structures on R -> a are in one-to-one correspondence with monoid structures on R. In this post and the next I’ll justify that claim. Characterizing comonads on R -> a Suppose we … Continue reading →

Posted in haskell, math | Tagged , , , , | 2 Comments

Tic-tac-toe maps with diagrams

Posted on May 18, 2011 by

Inspired by Randall Munroe, here are some handy guides to optimal tic-tac-toe play, created with the diagrams EDSL. Click the images to open (zoomable) PDF versions. I hacked this up in just a few hours. How did I do it? … Continue reading →

Posted in haskell, projects | Tagged , , , , | 12 Comments

Announcing diagrams preview release

Posted on May 17, 2011 by

I am extremely pleased to announce a "developer preview" release of the diagrams framework for declarative drawing. This is a well-thought-out, well-documented, working release with all core functionality in place, but with many planned features still missing (for example, support … Continue reading →

Posted in haskell, projects | Tagged , , , , , | 7 Comments

trapd

Posted on May 11, 2011 by
Posted in haskell, humor | Tagged , , , , | 4 Comments

Themes on Streams

Posted on May 9, 2011 by

> {-# LANGUAGE DeriveFunctor, FlexibleInstances #-} Recall that a stream is a countably infinite sequence of values: > data Stream a = a :> Stream a > deriving (Functor, Show) > > sHead (a :> _) = a > sTail … Continue reading →

Posted in haskell, math | Tagged , , , , , | 3 Comments