University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Semantics of monad transformers

Semantics of monad transformers

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

If you have a question about this talk, please contact Nathanael Arkor.

Monad transformers are the idiomatic way of composing computational effects in pure functional languages—for example, we use them to represent computations that are both stateful and possibly failing. Surprisingly little has been written about their categorical interpretation outside of work by Mauro Jaskelioff. In this talk I will talk about the concept of monoid transformers (due to Jaskelioff and Moggi) and how they subsume monad transformers. Familiarity with monads and monoidal categories is assumed.

This talk is part of the Logic & Semantics for Dummies series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

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