research-article

SML# in industry: a practical ERP system development

Authors:

Yuki ItoAuthors Info & Claims

ICFP '14: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming

Pages 167 - 173

https://doi.org/10.1145/2628136.2628164

Published: 19 August 2014 Publication History

Get Access

Abstract

This paper reports on our industry-academia project of using a functional language in business software production. The general motivation behind the project is our ultimate goal of adopting an ML-style higher-order typed functional language in a wide range of ordinary software development in industry. To probe the feasibility and identify various practical problems and needs, we have conducted a 15 month pilot project for developing an enterprise resource planning (ERP) system in SML#. The project has successfully completed as we have planned, demonstrating the feasibility of SML#. In particular, seamless integration of SQL and direct C language interface are shown to be useful in reliable and efficient development of a data intensive business application. During the program development, we have found several useful functional programming patterns and a number of possible extensions of an ML-style language with records. This paper reports on the project details and the lessons learned from the project.

References

[1]

G. Barthe. A computational view of implicit coercions in type theory. Mathematical. Structures in Comp. Sci., 15(5):839--874, 2005.

Digital Library

Google Scholar

[2]

P. Buneman, A. Jung, and A. Ohori. Using powerdomains to generalize relational databases. Theoretical Computer Science, 91(1):23--56, 1991.

Digital Library

Google Scholar

[3]

P. Buneman and A. Ohori. Polymorphism and type inference in database programming. ACM Transactions on Database Systems, 21(1):30--74, 1996.

Digital Library

Google Scholar

[4]

J. Cheney. S. Lindley, and P. Wadler. A practical theory of language-integrated query. In Proc. ACM International Conference on Functional Programming, 403--416, 2013.

Digital Library

Google Scholar

[5]

R. Di Cosmo. A short survey of isomorphisms of types. Mathematical. Structures in Comp. Sci., 15(5):825--838, 2005.

Digital Library

Google Scholar

[6]

G. E. Krasner and S. T. Pope. A cookbook for using the model-view controller user interface paradigm in smalltalk-80. J. Object Oriented Program., 1(3):26--49, 1988.

Digital Library

Google Scholar

[7]

D. Maier. The Theory of Relational Databases. Computer Science Press, 1983.

Digital Library

Google Scholar

[8]

R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, 1990.

Digital Library

Google Scholar

[9]

A. Ohori. Semantics of types for database objects. Theoretical Computer Science, 76:53--91, 1990.

Digital Library

Google Scholar

[10]

A. Ohori and P. Buneman. Type inference in a database programming language. In Proc. ACM Conference on LISP and Functional Programming, pages 174--183, 1988.

Digital Library

Google Scholar

[11]

A. Ohori, P. Buneman, and V. Breazu-Tannen. Database programming in Machiavelli - a polymorphic language with static type inference. In Proc. the ACM SIGMOD conference, pages 46--57, 1989.

Digital Library

Google Scholar

[12]

A. Ohori and K. Ueno. Making Standard ML a practical database programming language. In Proc. ACM ICFP, pages 307--319, 2011.

Digital Library

Google Scholar

[13]

SML#. http://www.riec.tohoku.ac.jp/smlsharp/, 2006 - 2014.

Google Scholar

[14]

Fieldslib. https://github.com/janestreet/fieldslib

Google Scholar

Cited By

View all

Čudanov MRakićević ASavoiu G(2022)Composite Indicator of the Organisational Information and Communication Technologies Infrastructure—A Novel Statistical Index ToolMathematics10.3390/math1015260710:15(2607)Online publication date: 26-Jul-2022
https://doi.org/10.3390/math10152607
Hanus MKrone J(2017)A Typeful Integration of SQL into CurryElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.234.8234(104-119)Online publication date: 1-Jan-2017
https://doi.org/10.4204/EPTCS.234.8
Izumi SHata MTakahira HSoylu MEdo AAbe TSuganuma T(2017)A Proposal of SDN Based Disaster-Aware Smart Routing for Highly-Available Information Storage Systems and Its EvaluationInternational Journal of Software Science and Computational Intelligence10.4018/IJSSCI.20170101059:1(69-83)Online publication date: Jan-2017
https://doi.org/10.4018/IJSSCI.2017010105
Show More Cited By

Index Terms

SML# in industry: a practical ERP system development
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages

Recommendations

SML# in industry: a practical ERP system development
ICFP '14

This paper reports on our industry-academia project of using a functional language in business software production. The general motivation behind the project is our ultimate goal of adopting an ML-style higher-order typed functional language in a wide ...
A very high level programming language for data processing applications

Application development today is too labor-intensive. In recent years, very high-level languages have been increasingly explored as a solution to this problem. The Business Definition Language (BDL) is such a language, one aimed at business data ...
Typed compilation of recursive datatypes
TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation

Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including other identically defined datatypes. A natural way of accounting for this is ...

Comments

Information & Contributors

Information

Published In

ICFP '14: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming

August 2014

390 pages

ISBN:9781450328739

DOI:10.1145/2628136

General Chair:
Johan Jeuring
Universiteit Utrecht, The Netherlands
,
Program Chair:
Manuel M.T. Chakravarty
University of New South Wales, Australia

ACM SIGPLAN Notices Volume 49, Issue 9
ICFP '14
September 2014
361 pages
ISSN:0362-1340
EISSN:1558-1160
DOI:10.1145/2692915
Editors:
Mark W. Bailey
Hamilton College, Clinton, NY
,
Rajeev Balasubramonian
University of Utah
,
Al Davis
University of Utah
,
Sarita Adve
University of Illinois at Urbana-Champ
Issue’s Table of Contents

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]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 August 2014

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Japan Society for the Promotion of Science

Conference

ICFP'14

Sponsor:

SIGPLAN

ICFP'14: ACM SIGPLAN International Conference on Functional Programming

September 1 - 6, 2014

Gothenburg, Sweden

Acceptance Rates

ICFP '14 Paper Acceptance Rate 28 of 85 submissions, 33%;

Overall Acceptance Rate 333 of 1,064 submissions, 31%

Upcoming Conference

ICFP '25

Sponsor:
sigplan

ACM SIGPLAN International Conference on Functional Programming

October 12 - 18, 2025

Singapore , Singapore

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
344
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)2

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Čudanov MRakićević ASavoiu G(2022)Composite Indicator of the Organisational Information and Communication Technologies Infrastructure—A Novel Statistical Index ToolMathematics10.3390/math1015260710:15(2607)Online publication date: 26-Jul-2022
https://doi.org/10.3390/math10152607
Hanus MKrone J(2017)A Typeful Integration of SQL into CurryElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.234.8234(104-119)Online publication date: 1-Jan-2017
https://doi.org/10.4204/EPTCS.234.8
Izumi SHata MTakahira HSoylu MEdo AAbe TSuganuma T(2017)A Proposal of SDN Based Disaster-Aware Smart Routing for Highly-Available Information Storage Systems and Its EvaluationInternational Journal of Software Science and Computational Intelligence10.4018/IJSSCI.20170101059:1(69-83)Online publication date: Jan-2017
https://doi.org/10.4018/IJSSCI.2017010105
Izumi SEdo AAbe TSuganuma T(2015)An Adaptive Multipath Routing Scheme Based on SDN for Disaster-Resistant Storage SystemsProceedings of the 2015 10th International Conference on Broadband and Wireless Computing, Communication and Applications (BWCCA)10.1109/BWCCA.2015.73(478-483)Online publication date: 4-Nov-2015
https://dl.acm.org/doi/10.1109/BWCCA.2015.73
MacQueen DHarper RReppy J(2020)The history of Standard MLProceedings of the ACM on Programming Languages10.1145/33863364:HOPL(1-100)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386336

View Options

Login options

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

Cited By

Index Terms

Recommendations

SML# in industry: a practical ERP system development

A very high level programming language for data processing applications

Typed compilation of recursive datatypes