January 3rd, 2007

beartato phd

(no subject)

Ran into groen and demoness101 today — good to see both of them, since I hadn't in a while — especially donna I seem to run into quite infrequently these days.

If you are as amused as I am by cute analogies between typed functional programming and calculus, be sure not to miss this Connor McBride paper which takes the usual "the derivative of a type is the type of its one-hole contexts" slogan a little further. Only problem is, I'm no longer sure what in calculus-land all this functional programming corresponds to...