Records, sums, cases, and exceptions: Row-polymorphism at work [1/9]

Channel:
Microsoft Research
Subscribers:
348,000
Published on ● Video Link: https://www.youtube.com/watch?v=l6ibFW82hYk


Duration: 1:01:09
358 views
9

I will present the design of a programming language (called MLPolyR) whose type system makes significant use of row polymorphism (Rémy, 1991). MLPolyR (Blume et al. 2006) is a dialect of ML and provides extensible records as well as their exact dual, polymorphic sums with extensible first-class cases. As I will demonstrate, first-class extensible cases enable code written in a certain style to be re-used in the context of wider types (sum types with more variants) than originally anticipated. This flexibility is similar to the way class-based object-oriented code can be extended by subclassing -- without, however, giving up on extensibility in the dimension of functionality (adding



Other Videos By Microsoft Research


2016-09-06A Crowd of One: The Future of Individual Identity           
2016-09-06Ubiquitous Reflective Technologies
2016-09-06Customizing the Computational Capabilities of Processors
2016-09-06Virgil: Objects on the Head of a Pin
2016-09-06Video Synopsis: Making an Infinite Video Shorter
2016-09-06Linked Decompositions of Networks and Polya Urns with Choice
2016-09-06The Light Portal: 3D Reconstruction and Visualization over Space and Time
2016-09-06Distributed Speculative Execution: A Programming Model for Reliability and Increased Performance
2016-09-06Director of MITΓÇÖs Auto-ID Laboratory and a professor of Information Engineering
2016-09-06Path invariants
2016-09-06Records, sums, cases, and exceptions: Row-polymorphism at work [1/9]
2016-09-06Internet 3.0: Ten Problems with Current Internet Architecture and Solutions for the Next Generation
2016-09-06The Bilateral Grid and a Topological Approach to Image Segmentation
2016-09-06Software Development Practices and Knowledge Sharing: A Comparison of XP & Waterfall Team Behaviors
2016-09-06How likely is BuffonΓÇÖs needle to meet a Cantor square?
2016-09-06Dense triangle-free digraphs
2016-09-06MOP: A Generic and Efficient Runtime Verification Framework
2016-09-06An Examination of User Behaviour during Web Information Tasks
2016-09-06Modeling Science: Topic models of Scientific Journals and Other Large Document Collections
2016-09-06Exhaustive Phase Order Search Space Exploration and Evaluation
2016-09-06Supervised Dimensionality Reduction with Principal Component Analysis


Tags:
microsoft research