Strongly-Typed Language Support for Internet-Scale Information Sources

Add to your list(s) Download to your calendar using vCal

• Don Syme - Microsoft Research
• Wednesday 15 May 2013, 14:15-15:15
• Lecture Theatre 1, Computer Laboratory.

If you have a question about this talk, please contact David Greaves.

“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.

This talk is part of the Wednesday Seminars - Department of Computer Science and Technology series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Graduate-Seminars
• Guy Emerson's list
• Interested Talks
• Lecture Theatre 1, Computer Laboratory
• School of Technology
• Trust & Technology Initiative - interesting events
• Wednesday Seminars - Department of Computer Science and Technology
• bld31
• computer science
• se393's list

Note that ex-directory lists are not shown.