COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Computer Laboratory Programming Research Group Seminar > Programming with Comonads and Codo Notation

## Programming with Comonads and Codo NotationAdd to your list(s) Download to your calendar using vCal - Dominic Orchard, Computer Lab
- Friday 13 May 2011, 15:00-16:00
- GC22, Computer Laboratory.
If you have a question about this talk, please contact Dominic Orchard. Note unusual time and place The category theory structure of a monad fortuitously matches the underlying structure of many different notions of impure computation such as input/output effects, partiality, state, non-determinism, and more. Thus, monads can be used in semantics and programming as a useful abstraction mechanism, and have been used enthusiastically as such for the last two decades. The dual of monads, comonads, similarly provides an abstraction mechanism that captures the underlying structure of a class of computations often described as contextual, or context-dependent. Comonads have not however been as enthusiastically embraced in the functional programming community although there has recently been several illuminating examples of their use. This talk seeks to promote programming with comonads: reviewing existing use, proffering new examples, and contributing a convenient syntax (codo-notation) for programming that is dual to Haskell’s do-notation. As an example, we embed the dataflow language Lucid into Haskell. This talk is part of the Computer Laboratory Programming Research Group Seminar series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge talks
- Computer Laboratory Programming Research Group Seminar
- Department of Computer Science and Technology talks and seminars
- GC22, Computer Laboratory
- Interested Talks
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
Note that ex-directory lists are not shown. |
## Other listsExoplanet Seminars Algorithms Engineers Without Borders## Other talksStatistical Methods in Pre- and Clinical Drug Development: Tumour Growth-Inhibition Model Example Carers and Careers: The Impact of Caring on Academic Careers Epigenetics - Why DNA Is Not Your Destiny Magnetic van der Waals Materials: Potentials and Applications Prof Chris Rapley (UCL): Polar Climates Unbiased Estimation of the Eigenvalues of Large Implicit Matrices Networks, resilience and complexity Atiyah Floer conjecture The frequency of ‘America’ in America Synthetic Cellularity via Protocell Design of Soft Matter Interfaces |