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 > Mathematical Structures for Data Types with Restricted Parametericity

## Mathematical Structures for Data Types with Restricted ParametericityAdd to your list(s) Download to your calendar using vCal - Dominic Orchard (University of Cambridge)
- Friday 08 June 2012, 15:15-16:15
- SS03, Computer Laboratory.
If you have a question about this talk, please contact Dominic Orchard. (aka. Fixing the maths for real-world data types) Functional programming continues to adopt concepts from category theory to provide abstraction mechanisms for structuring programs. For example, many parametrically polymorphic data types are instances of functors and monads. Other parametric data types have their polymorphism restricted for implementation efficiency e.g. unboxed arrays require primitive element types Int, Float, etc. Traditionally, mathematical abstractions in Haskell are endofunctor-based, however such data types do not fit this model. This paper instead interprets restricted polymorphism as subcategory specification. Notions of functors, monads and comonads are redefined over (full and non-full ) subcategories, providing non-endofunctors (with distinct source and target categories), relative monads and relative comonads. These structures not only provide a more accurate model of restricted polymorphism but can also be defined within Haskell itself using GHC ’s new constraint kinds extension. This is a practice talk for TFP ’12. Joint work with Alan Mycroft. 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)
- Computer Laboratory Programming Research Group Seminar
- Computer Laboratory talks
- SS03, Computer Laboratory
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
Note that ex-directory lists are not shown. |
## Other listsType the title of a new list here 'Anglican Eirenicon' by Canon John Fitch Extraordinary Category Theory Seminar## Other talksEmma Hart: Remaking the Public Good in the American Marketplace during the Early Republic Beyond crazy: Rationality, irrationality, and conspiracy theory Mechanical properties of cells or cell components on the micro- and nanometer scale Regulatory principles in human development and evolution What can we learn about cancer by modelling the data on it? Replication or exploration? Sequential design for stochastic simulation experiments |