Category Archives: writing

Typeclassopedia v2: moving my efforts to the Haskell wiki

I said back in April that I was going to be working on a second edition of the Typeclassopedia. Since then I have worked on it some, but mostly I’ve dithered trying to work out a toolchain for publishing it … Continue reading

Posted in haskell, projects, writing | 5 Comments

Good toolchain for writing a user manual?

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

Call for contributions: second edition of the Typeclassopedia

The Typeclassopedia, by all accounts, has turned out to be a popular and useful resource for Haskell programmers. I’ve been thinking for a while about putting out a revised and expanded second edition, and it’s finally time. Planned changes include: … Continue reading

Posted in haskell, writing | Tagged , , , , | 17 Comments

Binders Unbound

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

Back from Baltimore

I’m finally back in Philly after attending ICFP, the Haskell Symposium, and the Haskell Implementors’ Workshop in Baltimore. I enjoyed meeting every person I met, so if I met you please feel free to instantiate the universal quantifier. Here’s a … Continue reading

Posted in haskell, links, writing | Tagged , , , , , , , | Leave a comment

The Haskell Alphabet

Here’s a little something I’ve been working on in bits of spare time here and there for the past five months or so: The Haskell Alphabet I seem to recall it was inspired by a conversation in #haskell around the … Continue reading

Posted in haskell, humor, writing | Tagged , , | 6 Comments

Species and Functors and Types, Oh My!

My paper on combinatorial species and the species library (an improved version of my previous ICFP submission) has been accepted to the 2010 Haskell Symposium! I look forward to seeing people in Baltimore in September, and in the meantime the … Continue reading

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