University of Cambridge > Talks.cam > Junior Category Theory Seminar > A Monadgerie

A Monadgerie

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Guilherme Lima de Carvalho e Silva.

At first glance, a monad is something highly abstract and obscure to do with adjunctions or algebraic theories, so it’s surprising that functional programming languages like Haskell, Scala, and F# have embraced them as a tool to solve real engineering problems. It turns out they have a completely natural application to a remarkably diverse range of practical problems!

I’ll give a brief reminder of what a monad is, and then present two alternatives to the usual characterisations, and use them to explain why programmers are interested in monads and how you can use them. Then I’ll spend the remainder of the seminar running through as many examples of monads and their uses as I can, and some stuff about filtered colimits that I stumbled across and thought was just really cool.

This talk is part of the Junior Category Theory Seminar series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity