Tag Archives: programming

Towards a new programming languages course: ideas welcome!

Posted on May 23, 2016 by

tl;dr: This fall, I will be teaching an undergraduate PL course, with a focus on practical language design principles and tools. Feedback, questions, assignments you can share with me, etc. are all most welcome! This fall, I will be teaching … Continue reading →

Posted in teaching | Tagged , , , , | 14 Comments

CCSC-Midsouth conference and programming contest

Posted on April 2, 2016 by

I’m in Memphis (again!) this weekend attending the 2016 CCSC Midsouth Regional Conference, which also has a student programming contest attached. I’m very proud of the two teams from Hendrix, who placed first and fifth out of 17 teams. This … Continue reading →

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

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