Combining Data, Information, Services and Programming, at Internet-Scale Presented at NDC London December 2013 Dr. Don Syme Follow @dsyme on Twitter

1. | Basel
Making Magic with F#
Type Providers
Combining Data, Information, Services and Programming, at Internet-Scale
Dr. Don Syme
Principal Researcher, Microsoft, F# Community Contributor
@dsyme

3. 1
2
3
4
5
6
7

8. Statically
Typed
Dynamically
Typed

9. Statically
Typed
Dynamically
Typed
A major search is on!
• make statically typed langs more dynamic
• make dynamically typed langs more static
• moderate static typing in limited ways

11. fsharp.org
fsharp.org/use/mac
fsharp.org/use/linux
fsharp.org/use/android
fsharp.org/use/ios
fsharp.org/use/windows
fsharp.org/use/freebsd

13. F#
let swap (x, y) = (y, x)
let rotations (x, y, z) =
[ (x, y, z);
(z, x, y);
(y, z, x) ]
let reduce f (x, y, z) =
f x + f y + f z
C#
Tuple<U,T> Swap<T,U>(Tuple<T,U> t)
{
return new Tuple<U,T>(t.Item2, t.Item1)
}
ReadOnlyCollection<Tuple<T,T,T>> Rotations<T>(Tuple<T,T,T>
t)
{
new ReadOnlyCollection<int>
(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)
{
return f(t.Item1)+f(t.Item2)+f(t.Item3);
}

16. 10 Reasons Not to Use a Strongly Typed
Functional Language

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

18. fsharp.org/testimonials

19. F# runs on
many
platforms

20. “F# has many
contributors”

21. Many
perspectives
http://fsharp.org

24. Functional-first programming
Time-to-deployment Efficiency Correctness
Complexity
Taming

25. Examples
they are particularly amenable to
functional-first programming

26. functional
programming
initial paradigm
but employs other techniques such as
objects and state as necessary.

27. Give your
world some F# spice!

30. http://aws.amazon.com/tools
https://github.com/aws

31. http://www.windowsazure.com
https://github.com/WindowsAzure/

32. fsharp.org
fsharp.org/math
fsharp.org/data-science
fsharp.org/machine-learning
fsharp.org/cloud
fsharp.org/data-access
fsharp.net (MSDN pages)

35. freebase.com

41. let data = Freebase.GetDataContext()
data.
data.Society

43. types

44. SQL
05/12/2013
44

45. CSV
05/12/2013
45

46. JSON
05/12/2013
46

47. XML
05/12/2013
47

48. OData
05/12/2013
48

49. Hadoop/Hive
05/12/2013
49

50. World Bank
05/12/2013
50

51. Azure Data Market
05/12/2013
51

52. WSDL
05/12/2013
52

53. WMI
05/12/2013
53

54. Freebase
05/12/2013
54

55. JavaScript/TypeScript
05/12/2013
55

56. R
05/12/2013
56

57. Demo
F# + Xenomorph TimeScape
An F# type provider for deep, robust integration of financial data

59. data.AllEntites
Data Scripters need to work
with different granularities
of schematization
data.Automotive.``Automobile Models``
data.Automotive.``Automobile Models``.Individuals.``Porsche 911``
…Only a language that supports
massively scalable metadata can
operate at all these levels
Every stable
entity can get a
unique type

60. If the metadata contains units…
…then these can be projected
into the programming
language.

62. Many, many data sources are surprisingly stable
Some data sources support “snapshot dates”
F# supports “invalidation signals” from providers at designtime
Erasure makes compiled code much less fragile

63. fsharp.github.io/FSharp.Data

64. In Summary
Open, crossplatform, strongly
typed, efficient, rocksolid stable
The safe choice for
enterprise data
programming
Unbeatable data
integration
Visual F# - tooling you
can trust from Microsoft
F#

65. Questions?
Give your .NET
an F# edge!