research-article

SML# in industry: a practical ERP system development

Authors:

Yuki ItoAuthors Info & Claims

ACM SIGPLAN Notices, Volume 49, Issue 9

Pages 167 - 173

https://doi.org/10.1145/2692915.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

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
Č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
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: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming

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 ...
No assembly required: compiling standard ML to C

C has been used as a portable target language for implementing languages like Standard ML and Scheme. Previous efforts at compiling these languages to C have produced efficient code, but have compromised on portability and proper tail recursion. We show ...

Comments

Information & Contributors

Information

Published In

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

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

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

Published in SIGPLAN Volume 49, Issue 9

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Japan Society for the Promotion of Science

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
341
Total Downloads

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

Reflects downloads up to 12 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

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
Č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

View Options

Get Access

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

No assembly required: compiling standard ML to C