Don Syme, a leading contributor to the F# community, 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 community contributor to F# and a Researcher at MSR Cambridge. Visit his MSR homepage here: http://research.microsoft.com/en-us/people/dsyme/default.aspx.