This talk targets mostly programmers that are not afraid of functors; the "applicative functors" discussed in the talk are plain closed functors from closed monoidal categories.
The language in which the stuff is modeled is mostly Scala, non-idiomatic (I hope).
The content is this:
- refactoring to Monads
- from Monads to Applicative Functors
I do not think I can cover all this in one session; probably two.