I'm taking a vacation "back home", and will be speaking at the Big Picture Seminar at NICTA, Canberra tomorrow lunchtime.

If you're in Canberra, I hope to see you there, and if you're at NICTA I hope you can catch it on the web broadcast.


Reconsidering Strongly-Typed Programming in the Information Rich World

NICTA Canberra Research Laboratory, Friday 23 March 2012, Registration: 12:15pm Seminar: 12:30pm

NICTA Seminar Room, Ground Floor, 7 London Circuit, Canberra

The world is information rich, but why are our programming languages so information sparse? Especially our strongly typed languages? "Information Rich Programming" (IRP) is an emerging direction for strongly-typed language design and implementation, and the F# language 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, semantic-web ontologies, databases and services. Are information spaces "just" libraries? Can we gives types to "everything", and if so, should we? We'll demonstrate what F# 3.0 offers in the area of IRP, but also highlight how information-richness makes us reconsider language design and take a look at the research problems and engineering challenges that come with the territory.