![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Don Syme - Microsoft Research
Wednesday 15 May 2013, 14:15-15:15
Strongly-Typed Language Support for Internet-Scale Information Sources
- đ¤ Speaker: Don Syme - Microsoft Research
- đ Date & Time: Wednesday 15 May 2013, 14:15 - 15:15
- đ Venue: Lecture Theatre 1, Computer Laboratory
Abstract
“Data, data everywhere, ....” Modern computing is highly information rich, but our programming languages are information sparse, especially our strongly typed ones. “Information Rich Programming” (IRP) is an emerging direction for strongly-typed language design and implementation, and the open source, cross-platform F# language from Microsoft is leading the way in this area. In this talk, we’ll give an overview of the challenges of strongly-typed IRP against web data markets, web ontologies, databases, services and enterprise data schema. Are information spaces “just” libraries? Can we gives types to “everything”, and if so, should we? What does it mean for future type systems? We’ll demonstrate what F# 3.0 specifically offers in the area of IRP and heterogeneous programming, and also look at how information-richness makes us reconsider programming language and tooling design more generally, and the themes that recur in this kind of work.
Series This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Chris Davis' list
- computer science
- Department of Computer Science and Technology talks and seminars
- Graduate-Seminars
- Guy Emerson's list
- Interested Talks
- Lecture Theatre 1, Computer Laboratory
- Martin's interesting talks
- School of Technology
- se393's list
- Trust & Technology Initiative - interesting events
- Wednesday Seminars - Department of Computer Science and Technology
- yk449
Note: Ex-directory lists are not shown.