University of Cambridge > > Computer Laboratory Wednesday Seminars > Strongly-Typed Language Support for Internet-Scale Information Sources

Strongly-Typed Language Support for Internet-Scale Information Sources

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

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 Computer Laboratory Wednesday Seminars series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


© 2006-2022, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity