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)
- Cambridge talks
- Computer Laboratory Programming Research Group Seminar
- Department of Computer Science and Technology talks and seminars
- Interested 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 talksInvestigating the Functional Anatomy of Motion Processing Pathways in the Human Brain What can we learn about cancer by modelling the data on it? Regulatory principles in human development and evolution Mechanical properties of cells or cell components on the micro- and nanometer scale Beyond crazy: Rationality, irrationality, and conspiracy theory Emma Hart: Remaking the Public Good in the American Marketplace during the Early Republic BP KEYNOTE LECTURE: Importance of C-O Bond Activation for CO2/COUtilization - An Approach to Energy Conversion and Storage Mathematical applications of little string theory Disease Migration Towards a whole brain model of perceptual learning The Rise of Augmented Intelligence in Edge Networks Replication or exploration? Sequential design for stochastic simulation experiments |