Category Archives: writing

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

Functional pearl on combinatorial species

I’ve just submitted a Functional Pearl to ICFP explaining combinatorial species in a way that is (hopefully) accessible and interesting to functional programmers. You can read the draft here — as always, comments, suggestions, etc. are welcome (although it’s too … Continue reading

Posted in combinatorics, haskell, writing | Tagged , , | 3 Comments

Call for submissions: Monad.Reader issue 15

I’m excited to be taking over the editorship of the Monad.Reader. I’ll be putting together Issue 15 in January—the deadline for submissions will be January 8, 2010. Please consider writing something! You don’t need to be an expert; past articles … Continue reading

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