The codensity monad

February 12th, 2010 by Graham

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.

2 Responses to “The codensity monad”

  1. Alp Mestanogullari Says:

    Have you uploaded the slides somewhere ? Thanks.

  2. cody Says:

    Would you mind posting the slides?


Leave a Reply