Jason (jcreed) wrote,

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...
Tags: math, social
  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded