BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:A Monadgerie - Ben Millwood
DTSTART:20130228T140000Z
DTEND:20130228T150000Z
UID:TALK43828@talks.cam.ac.uk
CONTACT:Guilherme Lima de Carvalho e Silva
DESCRIPTION:At first glance\, a monad is something highly abstract and obs
 cure to do with adjunctions or algebraic theories\, so it's surprising tha
 t functional programming languages like Haskell\, Scala\, and F# have embr
 aced them as a tool to solve real engineering problems. It turns out they 
 have a completely natural application to a remarkably diverse range of pra
 ctical problems!\n\nI'll give a brief reminder of what a monad is\, and th
 en present two alternatives to the usual characterisations\, and use them 
 to explain why programmers are interested in monads and how you can use th
 em. Then I'll spend the remainder of the seminar running through as many e
 xamples of monads and their uses as I can\, and some stuff about filtered 
 colimits that I stumbled across and thought was just really cool.
LOCATION:CMS\, MR15
END:VEVENT
END:VCALENDAR