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


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:
  author    = {Syme, Don and Battocchi, Keith and Takeda, 
               Kenji and Malayeri, Donna and Petricek, Tomas},
  title     = {Themes in information-rich functional programming 
               for internet-scale data sources},
  booktitle = {Proceedings Workshop on Data Driven Functional Programming},
  series    = {DDFP 2013},
  location  = {Rome, Italy}
1: 2: 3: 4: 5: 6: 7: 8: 9: 10: 11:
  author      = {Syme, Don and Battocchi, Keith and Takeda, Kenji and Malayeri, 
                 Donna and Fisher, Jomo and Hu, Jack and Liu, Tao and McNamara, 
                 Brian and Quirk, Daniel and Taveggia, Matteo and Chae, Wonseok 
                 and Matsveyeu, Uladzimir and Petricek, Tomas},
  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 or get in touch via Twitter at @tomaspetricek.