Tag Archives: programming

In defense of drawing by coding

Posted on October 18, 2013 by

Just some half-baked thoughts in repsonse to Bret Victor’s talk, Drawing Dynamic Visualizations (along with his addendum here). As usual, it is a fun and inspiring talk, so if you haven’t seen it I highly recommend it; but I will … Continue reading →

Posted in diagrams | Tagged , , , , , , , | 3 Comments

FARM 2013: call for demonstration proposals

Posted on July 8, 2013 by

Do you enjoy writing beautiful code to produce beautiful artifacts? Have something cool to show off at the intersection of functional programming and visual art, music, sound, modeling, visualization, or design? The deadline for submitting a paper has passed, but … Continue reading →

Posted in meta | Tagged , , , , , , , , | Leave a comment

Workshop on Functional Art, Music, Modeling and Design

Posted on May 13, 2013 by

I’m helping organize a new workshop, FARM, to be held in Boston this September (right after ICFP). Many readers of this blog may have already seen the announcement, but I thought it worth saying a bit more about it here, … Continue reading →

Posted in meta | Tagged , , , , , , , , | 2 Comments

Back from Baltimore

Posted on October 2, 2010 by

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

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

Typed type-level programming in Haskell, part II: type families

Posted on July 6, 2010 by

In my previous post, we saw how multi-parameter type classes with functional dependencies in Haskell allow us to do type-level programming in a logic programming style. (If you’re not clear on why this corresponds to a logic programming style, see … Continue reading →

Posted in haskell | Tagged , , , | 5 Comments

Typed type-level programming in Haskell, part I: functional dependencies

Posted on June 29, 2010 by

The other project I’m working on at MSR this summer is a bit more ambitious: our headline goal is to extend GHC to enable typed, functional, type-level programming. What’s that, you ask? Well, first, let me tell you a little … Continue reading →

Posted in haskell | Tagged , , , | 12 Comments