Modern programming thrives on rich spaces of data, information and services. With F# 3.0 and Visual Studio 11, you now have a tool that massively simplifies information-rich analytical programming. F# 3.0 provides integrated support for F# Information Rich Programming, a new and powerful way of integrating data and services into your programming experience. In this talk, we will describe the new features of F# 3.0, including the first released version of F# Type Providers and F# Queries, with apps to leverage technologies such as SharePoint, Azure Data Market, OData, Entity Framework and SQL Server.

1. palais des
congrès
Paris
7, 8 et 9
février 2012

2. F# 3.0 Information-Rich
Programming
Data, Services, Web, Cloud, at your fingertips!
Now in Visual Studio 11 Developer Preview!
7 Feb 2012
Don Syme
Principal Researcher, Microsoft

4. 1 2 3 4 5 6 7

7. This is a Big Problem

9. magic

10. type
providers

11. WebSharper/Pit/
Javascript (HTML5)

13. productive supported interoperable fun
ctional language
simple code complex problems

14. F# C#
let swap (x, y) = (y, x) Tuple<U,T> Swap<T,U>(Tuple<T,U> t)
{
return new Tuple<U,T>(t.Item2, t.Item1)
}
let rotations (x, y, z) = ReadOnlyCollection<Tuple<T,T,T>> Rotations<T>(Tuple<T,
[ (x, y, z); {
(z, x, y); new ReadOnlyCollection<int>
(y, z, x) ] (new Tuple<T,T,T>[]
{new Tuple<T,T,T>(t.Item1,t.Item2,t.Item3);
new Tuple<T,T,T>(t.Item3,t.Item1,t.Item2);
new Tuple<T,T,T>(t.Item2,t.Item3,t.Item1); });
}
int Reduce<T>(Func<T,int> f,Tuple<T,T,T> t)
let reduce f (x, y, z) = {
f x + f y + f z return f(t.Item1)+f(t.Item2)+f(t.Item3);
}

16. excels analytical engines

17. an application to balance the national
power generation schedule
the calculation engine was written in F#
address the complexity at the heart
of this application
algorithmic analysis of
large data sets

21. F# + World Bank

22. F# + OData

23. F#
+ Climate Data
+ Weather Data

24. Language Integrated
Web Data

26. into

28. Type Providers + LINQ
Language Integrated Data and Services

31. SQL
type "Server='.SQLEXPRESS'.."
let

32. OData
type "http://odata.netflix.com"
let

33. Web Services
type "http://www.xignite.com/xFutures.asmx?WSDL"
let

34. let avatarTitles =
query { for t in netflix.Titles do
where (t.Name.Contains "Avatar")
select t }

35. let avatarTitles =
query { for t in netflix.Titles do
where (t.Name.Contains "Avatar")
sortBy t.Name
select t }

36. let avatarTitles =
query { for t in netflix.Titles do
where (t.Name.Contains "Avatar")
sortBy t.Name
select t
take 100 }

37. Building a web site using
ODataService<…>

39. strongly
typed
without
explicit
codegen
extensible, o
pen

41. http://fsharp.net
http://tryfsharp.org