FP Lunch

Today I gave a introduction to the codensity monad aimed at the “functional programmer in the street”, rather than the “category theorist in the cupboard”. The emphasis was on understanding how one can arrive at the codensity monad in a natural manner starting from the simple and familiar example of improving the performance of list reverse.

This entry was posted on Friday, February 12th, 2010 at 1:13 pm and is filed under Lunches. You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.