MSR Silicon Valley, Tuesday 3pm - Reconsidering Strongly Typed Programming Languages for the Information-Rich World

On Tuesday at 3:00pm I will be talking at Microsoft Research, Silicon Valley (directions) on F# 3.0 and the general topic of "Reconsidering Strongly Typed Programming Languages for the Information-Rich World"

The talk is a public lecture. If you plan on coming please drop a note to Maria Atienze ( ) and she will arrange a badge for you.


p.s. I will be giving similar material as a Google Internal Tech Talk on Friday.


Don Syme will be in Silicon Valley next week.  Come hear him talk about F# 3.0.  Note that the venue is Microsoft Research on Pear Ave in Mountain View, not the main Microsoft Silicon Valley campus on La Avenida.

Abstract: Do you want strongly-typed programming languages which scale to integrate internet-scale information sources like the Google Knowledge Graph, web data markets and the information spaces of the modern enterprise?

The modern web and enterprise 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 innovative F# language from Microsoft is leading the way in this area. In this talk, Don Syme 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, but also look at how information-richness makes us reconsider programming language and tooling design more generally, and take a look at the themes that recur in this kind of work.

Don Syme is a researcher at MSR Cambridge and a community contributor to F#. Visit his MSR homepage here: