Themes in Information-Rich Functional Programming for Internet-Scale Data Sources

Don Syme, Keith Battocchi, Kenji Takeda, Donna Malayeri and Tomas Petricek

In Proceedings of Data Driven Functional Programming Workshop 2013

The F# language includes a feature called F# 3.0 Type Providers to support the integration of internet-scale information sources into a strongly typed functional-first programming environment. In this position paper we describe the key themes in information-rich functional programming that we have observed during this work. Our contribution is to document these themes and highlight future challenges and opportunities, in the context of a recently released, practical, open-source system for information-rich functional programming. We believe that this area is rich in excellent opportunities for future language and tooling research, information-space integration and schematization techniques.

Paper and more information

• Download the DDFP position paper (PDF)
• Download longer MSR tech report (PDF)
• See slides from invited talk at ML Symposium 2012
• Explore type providers in the F# Data library

Bibtex

If you want to cite the paper, you can use the following BibTeX information, or get full details from the paper page on ACM and for the MSR technical report.

 1: 
 2: 
 3: 
 4: 
 5: 
 6: 
 7: 
 8: 
 9: 
10: 
11: 
12: 

@inproceedings{syme-2013-inforich,
  author    = {Don Syme and Keith Battocchi and Kenji Takeda and Donna
               Malayeri and Tomas Petricek},
  title     = {Themes in information-rich functional programming for
               internet-scale data sources},
  booktitle = {Proceedings of the 2013 Workshop on Data Driven Functional
               Programming, {DDFP} 2013, Rome, Italy, January 22, 2013},
  pages     = {1--4},
  publisher = {{ACM}},
  year      = {2013},
  doi       = {10.1145/2429376.2429378}
}

 1: 
 2: 
 3: 
 4: 
 5: 
 6: 
 7: 
 8: 
 9: 
10: 
11: 

@techreport{syme-2012-fsharp,
  author      = {Don Syme and Keith Battocchi and Kenji Takeda and Donna
                 Malayeri and Jomo Fisher and Jack Hu and Tao Liu and Brian
                 McNamara and Daniel Quirk and Matteo Taveggia and Wonseok
                 Chae and Uladzimir Matsveyeu and Tomas Petricek},
  title       = {F\# 3.0 - Strongly-Typed Language Support for
                 Internet-Scale Information Sources},
  number      = {MSR-TR-2012-101},
  institution = {Microsoft Research},
  year        = {2012}
}

If you have any comments, suggestions or related ideas, I'll be happy to hear from you! Send me an email at tomas@tomasp.net or get in touch via BlueSky at @tomasp.net.