-
Book Overview & Buying
-
Table Of Contents
-
Feedback & Rating

F# High Performance
By :

Before we go deeper into optimizing F# type providers, let's have a conceptual introduction to what a type provider is.
From now on, F# type providers will be described as type providers, omitting the F# prefix. It is also common just to use type providers because type provider is a unique feature of F#.
Basically, type provider is a type of generators. It generates types (classes) to be used in code specific to special purposes. Some of the classes remain available in the runtime; some of them don't (get erased).
The type provider feature begins with F# 3.0 release, and it is the main theme of F# 3.0 release: solving the data manipulation problem. The specific problem in data manipulation problem is how we handle the data's metadata information while focusing on the correctness of syntaxes and type safety. The type safety, in this sense, does not have to be strict or even strong, it is also available as erased typed as object.
Using type provider implementations...
Change the font size
Change margin width
Change background colour