research-article

Themes in information-rich functional programming for internet-scale data sources

Authors:

Tomas PetricekAuthors Info & Claims

DDFP '13: Proceedings of the 2013 workshop on Data driven functional programming

Pages 1 - 4

https://doi.org/10.1145/2429376.2429378

Published: 22 January 2013 Publication History

Get Access

Abstract

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.

References

[1]

G. Bierman, M. Parkinson, and J. Noble. UpgradeJ: Incremental Typechecking for Class Upgrades. In ECOOP, pages 235--259. 2008.

Digital Library

Google Scholar

[2]

S. Drossopoulou, D. Wragg, and S. Eisenbach. What is Java binary compatibility? OOPSLA'98, pages 341--361. ACM, 1998.

Digital Library

Google Scholar

[3]

S. Eisenbach and C. Sadler. Changing Java Programs. In ICSM 2001, Florence, Italy, November 2001.

Digital Library

Google Scholar

[4]

A. Kennedy. Types for units-of-measure in F#: invited talk. In Proceedings of the 2008 ACM SIGPLAN workshop on ML, ML'08, pages 1--2, New York, NY, USA, 2008. ACM.

Digital Library

Google Scholar

[5]

E. Meijer, B. Beckman, and G. Bierman. LINQ: reconciling object, relations and XML in the .NET framework. In SIGMOD'06: Int. ACM Conf. on Mgmt. of Data. ACM, 2006.

Digital Library

Google Scholar

[6]

D. Syme. Leveraging .NET meta-programming components from F#: integrated queries and interoperable heterogeneous execution. In Proceedings of the 2006 workshop on ML, ML'06, pages 43--54, New York, NY, USA, 2006. ACM.

Digital Library

Google Scholar

[7]

D. Syme and K. Battocchi. Tutorial: Creating a type provider in F#, January 2012. http://msdn.microsoft.com/en-us/library/hh361034%28v=vs.110%29.aspx, retrieved 1 Aug 2012.

Google Scholar

[8]

D. Syme, K. Battocchi, K. Takeda, D. Malayeri, J. Fisher, J. Hu, T. Liu, B. McNamara, D. Quirk, M. Taveggia, W. Chae, U. Matsveyeu, and T. Petricek. F#3.0 - Strongly-Typed Language Support for Internet-Scale Information Sources. Technical Report MSR-TR-2012-101, Microsoft Research, 2012.

Google Scholar

[9]

D. Syme, T. Petricek, and D. Lomov. The F# asynchronous programming model. In Proceedings of the 13th international conference on Practical Aspects of Declarative Languages, PADL'11, pages 175--189, Berlin, Heidelberg, 2011. Springer-Verlag.

Digital Library

Google Scholar

Cited By

View all

Schneider KVenn BMühlhaus T(2024)Plotly.NET: A fully featured charting library for .NET programming languagesF1000Research10.12688/f1000research.123971.211(1094)Online publication date: 19-Feb-2024
https://doi.org/10.12688/f1000research.123971.2
Petricek TBurg GNazábal ACeritli TJiménez-Ruiz EWilliams C(2023)AI Assistants: A Framework for Semi-Automated Data WranglingIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2022.322253835:9(9295-9306)Online publication date: 1-Sep-2023
https://doi.org/10.1109/TKDE.2022.3222538
Schneider KVenn BMühlhaus T(2022)Plotly.NET: A fully featured charting library for .NET programming languagesF1000Research10.12688/f1000research.123971.111(1094)Online publication date: 23-Sep-2022
https://doi.org/10.12688/f1000research.123971.1
Show More Cited By

Index Terms

Themes in information-rich functional programming for internet-scale data sources
1. Information systems
  1. Data management systems
    1. Information integration
    2. Middleware for databases
      1. Object-relational mapping facilities

Recommendations

Using functional languages to facilitate C++ metaprogramming
WGP '12: Proceedings of the 8th ACM SIGPLAN workshop on Generic programming

Template and Preprocessor Metaprogramming are both well-known in the C++ community to have much in common with Functional Programming (FP). Recently, very few research threads on underpinning these commonalities have emerged to empower cross-development ...
The early history of F#

This paper describes the genesis and early history of the F# programming language. I start with the origins of strongly-typed functional programming (FP) in the 1970s, 80s and 90s. During the same period, Microsoft was founded and grew to dominate the ...
Functional reactive programming: from natural user interface to natural robotics behavior
CEE-SECR '14: Proceedings of the 10th Central and Eastern European Software Engineering Conference in Russia

In this paper, we consider using reactive functional programming techniques in F#. We share our experience of using those techniques in developing natural user interface based on Kinect and Leap Motion sensors, and in controlling TRIK robotics toolset, ...

Comments

Information & Contributors

Information

Published In

DDFP '13: Proceedings of the 2013 workshop on Data driven functional programming

January 2013

30 pages

ISBN:9781450318716

DOI:10.1145/2429376

General Chair:
Evelyne Viegas
Microsoft Research, USA
,
Program Chairs:
Karin Breitman
EMC Labs, Brazil
,
Judith Bishop
Microsoft Research, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

In-Cooperation

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 January 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

POPL '13

Sponsor:

SIGPLAN

POPL '13: The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

January 22, 2013

Rome, Italy

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

24
Total Citations
View Citations
205
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Schneider KVenn BMühlhaus T(2024)Plotly.NET: A fully featured charting library for .NET programming languagesF1000Research10.12688/f1000research.123971.211(1094)Online publication date: 19-Feb-2024
https://doi.org/10.12688/f1000research.123971.2
Petricek TBurg GNazábal ACeritli TJiménez-Ruiz EWilliams C(2023)AI Assistants: A Framework for Semi-Automated Data WranglingIEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2022.322253835:9(9295-9306)Online publication date: 1-Sep-2023
https://doi.org/10.1109/TKDE.2022.3222538
Schneider KVenn BMühlhaus T(2022)Plotly.NET: A fully featured charting library for .NET programming languagesF1000Research10.12688/f1000research.123971.111(1094)Online publication date: 23-Sep-2022
https://doi.org/10.12688/f1000research.123971.1
Petricek T(2022)The Gamma: Programmatic Data Exploration for Non-programmers2022 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)10.1109/VL/HCC53370.2022.9833134(1-7)Online publication date: 12-Sep-2022
https://doi.org/10.1109/VL/HCC53370.2022.9833134
Zhuang YLu M(2022)Enabling Type Checking on Columns in Data Frame Libraries by Abstract InterpretationIEEE Access10.1109/ACCESS.2022.314628710(14418-14428)Online publication date: 2022
https://doi.org/10.1109/ACCESS.2022.3146287
Granicz ADenuziere L(2019)Functional, Reactive Web Programming in F#Central European Functional Programming School10.1007/978-3-030-28346-9_5(137-160)Online publication date: 14-Aug-2019
https://doi.org/10.1007/978-3-030-28346-9_5
Petricek TGeddes JSutton CHerschel M(2018)WrattlerProceedings of the 10th USENIX Conference on Theory and Practice of Provenance10.5555/3319379.3319388(6-6)Online publication date: 11-Jul-2018
https://dl.acm.org/doi/10.5555/3319379.3319388
ZAKIAN TMCDONELL TCIMINI MNEWTON R(2018)Ghostbuster: A tool for simplifying and converting GADTsJournal of Functional Programming10.1017/S095679681800011428Online publication date: 22-Jun-2018
https://doi.org/10.1017/S0956796818000114
Petricek T(2017)Tools for open, transparent and engaging storytellingCompanion Proceedings of the 1st International Conference on the Art, Science, and Engineering of Programming10.1145/3079368.3079382(1-2)Online publication date: 3-Apr-2017
https://dl.acm.org/doi/10.1145/3079368.3079382
Wood TDrossopolou SLahiri SEisenbach S(2017)Modular Verification of Procedure Equivalence in the Presence of Memory AllocationProgramming Languages and Systems10.1007/978-3-662-54434-1_35(937-963)Online publication date: 25-Apr-2017
https://dl.acm.org/doi/10.1007/978-3-662-54434-1_35
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Using functional languages to facilitate C++ metaprogramming

The early history of F#

Functional reactive programming: from natural user interface to natural robotics behavior

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations