Category Archives: projects

Good toolchain for writing a user manual?

Posted on June 10, 2011 by

It’s time to start writing a user manual for diagrams. Haddock documentation is great when you have only, say, forgotten the type of the frobnitz function. However, it is woefully inadequate when you are just trying to figure out how … Continue reading →

Posted in projects, writing | 17 Comments

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

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

Binders Unbound

Posted on March 28, 2011 by

Stephanie Weirich, Tim Sheard and I recently submitted a paper to ICFP entitled Binders Unbound. (You can read a draft here.) It’s about our kick-ass, I mean, expressive and flexible library, unbound (note: GHC 7 required), for generically dealing with … Continue reading →

Posted in grad school, haskell, projects, writing | Tagged , , , , , | 7 Comments

Math.OEIS needs a new maintainer

Posted on December 4, 2010 by

Summary: the OEIS has switched servers and the oeis package needs updating to match, so I’m looking for someone to take over development. All the rest is padding in the form of entertaining stories. Recently, Michael Snoyman’s wonderful packdeps tool … Continue reading →

Posted in haskell, math, projects | Tagged , , , , | 4 Comments

Typed type-level programming: status report

Posted on December 3, 2010 by

A few people have been bugging me (you know who you are ;-) about the current status of the project to allow automatic “lifting” of Haskell data constructors to the type level, to allow for typed type-level programming. I’ve written … Continue reading →

Posted in haskell, projects | Tagged , , , , , , | Leave a comment

Things I have learned about vector spaces

Posted on November 20, 2010 by

Work on the diagrams library is coming along rather nicely. I’ll have more to say about it soon, but for now here are two things I have learned recently: Normals transform as the inverse transpose (see Subject 5.27). Be very … Continue reading →

Posted in math, projects | Tagged , , , , , , , | 4 Comments

Typed type-level programming in Haskell, part IV: collapsing types and kinds

Posted on August 5, 2010 by

In Part III, we saw how the current state of the art in Haskell type-level programming leaves some things to be desired: it requires duplicating both data declarations and code, and even worse, it’s untyped. What to do? Currently, GHC’s … Continue reading →

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

diagrams slides

Posted on May 22, 2010 by

Today at Hac φ I gave a short talk about the past and future of the diagrams library. For anyone who is interested, I’ve put the slides up here. For the actual talk the slides had no text on them, … Continue reading →

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