![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);
}](https://image.slidesharecdn.com/data-type-providers-fsharp-131205083712-phpapp01/85/Making-Magic-with-F-Type-Providers-13-320.jpg)
Making Magic with F# Type Providers
- 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
- 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
- 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
- 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!
- 35. freebase.com
- 41. let data = Freebase.GetDataContext() data. data.Society
- 43. types
- 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
- 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!