This document discusses type providers in F#, which allow data sources to be compiled into types for use in F# programs. It provides examples of using various type providers like JSON, XML, and OData to access external data. It also describes how to author custom type providers by using F# code quotations to generate types from a data schema at compile time.

1. Partners:

2. Valdis Iļjučonoks
Technical Fellow, Software Architect
Visual Studio ALM evangelist
Microsoft MVP
http://www.tech-fellow.net | @tech_fellow
Geta AS, Tech Fellow Consulting, Latvian .Net UG
valdis.iljuconoks@outlook.com

3. Loving data with F#
Valdis Iļjučonoks

5. There are three kinds of lies: lies,
damned lies, and statistics.
-- Benjamin Disraeli

6. Information rich programming

7. Bring data source closer to program

8. Barrier to include data sources:
 Need to represent data as types, properties and methods
 Generated code must be replaced every time service reference is adjusted

9. Type Providers

10. From 1k feet:
 Compile-time type provider
 Erased or generated types approach
 Data set schema as type info source

11. Driven by F# team and community

12. DbmlFile
EdmxFile
ODataService
SqlDataConnection
SqlEntityConnection
WsdlService
AppSettings
Excel
Graph
Machine
Management
Math
Regex
Xaml
Xrm
Apiary
Csv
Freebase
Json
WorldBank
Xml
DGML
Word
Csv
DataStore
Hadoop/Hive/Hdfs
HelloWorld
Management
MiniCvs
Xrm
FunScript
…

13. {Demo image}

14. Json Provider

15. WorldBank Provider

16. Xml Provider

17. OData Service Provider

18. Is it worth to develop custom provider?

19.  Is schema available?
 Will provider have enough usage it’s worthwhile to write?
 Will schema change during coding?
 Will it change during program execution?

20. Authoring TypeProvider

21.  Uses F# Code Quotations
 AddMember()
 AddMemberDelayed()

22. let t = ProvidedTypeDefinition(thisAssembly,namespaceName,
"Type" + string n,
baseType = Some typeof<obj>)
let staticProp = ProvidedProperty(propertyName = "StaticProperty",
propertyType = typeof<string>,
IsStatic = true,
GetterCode = (fun args -> <@@ "Hello!" @@>))
staticProp.AddXmlDocDelayed(fun () -> "This is a static property")
t.AddMember staticProp

23. Type Providers

24. Bring data source closer to program

25. Feedback
  

26. Partners: