Skip to main content
SpringerLink
Log in

Conceptual Foundations of Code Rationalization Through a Case Study in Haskell

  • Conference paper
  • First Online:
Advanced Information Networking and Applications (AINA 2022)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 449))

  • 899 Accesses

Abstract

The syntagm “code rationalization” denotes, in this paper, the approach by which the programmer chooses from the multitude of known alternatives that transpose the algorithmic solution of a problem into the target language of a software system, maximizing the benefits that the user pursues through the utilization of the software system. This paper emphasizes the importance of streamlining the code considering a case study in Haskell.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 219.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 279.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bird, R.: Pearls of Functional Algorithm Design. Cambridge University Press, Cambridge (2010)

    Book  Google Scholar 

  2. Bocu, D.: Conceptual și aplicativ în programarea logică și funcțională, MATRIX ROM, București (2020)

    Google Scholar 

  3. Thompson, S.: The Craft of Functional Programming. Boston MA USA, Addison-Wessley (1999)

    Google Scholar 

  4. en.wikibooks.org. https://en.wikibooks.org/wiki/Haskell. Accessed 14 June 2021

  5. Zilberstein, N.: Eliminating bugs with dependent Haskell (experience report). In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, USA, 7 August 2020 (2020)

    Google Scholar 

  6. Jantschi, L.: Detecting extreme values with order statistics in samples from continuous distributions. Mathematics 8(216), 2020 (2020)

    Google Scholar 

  7. Breitner, J., et al.: Ready, Set, Verify! Applying hs-to-coq to real-world Haskell code. J. Funct. Program. 31, e5 (2021). https://doi.org/10.1017/S0956796820000283

    Article  MathSciNet  MATH  Google Scholar 

  8. Figueroa, I., Leger, P., Fukuda, H.: Which monads Haskell developers use: an exploratory study. Sci. Comput. Program. 201, 102523 (2021)

    Article  Google Scholar 

  9. Jantschi, L.: A test detecting the outliers for continuous distributions based on the cumulative distribution function of the data being tested. Symmetry 11(835), 2019 (2019)

    Google Scholar 

  10. Egi, S., Nishiwaki, Y.: Functional Programming in Pattern-Match-Oriented Programming Style. arXiv 2020, arXiv:2002.06176

    Google Scholar 

  11. Liu, Y., Parker, J., Redmond, P., Kuper, L., Hicks, M., Vazou, N.: Verifying replicated data types with typeclass refinements in Liquid Haskell. Proc. ACM Program. Lang. 4, 1–30 (2020)

    Google Scholar 

  12. Valliappan, N., Krook, R., Russo, A., Claessen, K.: Towards secure IoT programming in Haskell. In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, USA, 7 August 2020, pp. 136–150 (2020)

    Google Scholar 

  13. Kokke, W., Dardha, O.: Deadlock-free session types in linear Haskell. arXiv 2021, arXiv:2103.14481

    Google Scholar 

  14. Santos, A., Oliveira, J.N.: Type your matrices for great good: a haskell library of typed matrices and applications (functional pearl). In: Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, USA, 7 August 2020, pp. 54–66 (2020)

    Google Scholar 

  15. Melo, C.A.R., Liu, P., Ying, R.: A platform for full-stack functional programming. In: Proceedings of the 2020 IEEE International Symposium on Circuits and Systems (ISCAS), Seville, Spain, 12–14 October 2020, pp. 1–5 (2020)

    Google Scholar 

  16. Nandi, C., Wilcox, J.R., Panchekha, P., Blau, T., Grossman, D., Tatlock, Z.: Functional programming for compiling and decompiling computer-aided design. Proc. ACM Program. Lang. 2, 1–31 (2018)

    Article  Google Scholar 

  17. Ponce, L.M., Lezzi, D., Badia, R.M., Guedes, D.: DDF library: enabling functional programming in a task-based model. J. Parallel Distrib. Comput. 151, 112–124 (2021)

    Article  Google Scholar 

  18. Rubio, F., de la Encina, A., Rabanal, P., Rodriguez, I.: A parallel swarm library based on functional programming. In: Proceedings of the International Work-Conference on Artificial Neural Networks, Cadiz, Spain, 14–16 June 2017, pp. 3–15 (2017)

    Google Scholar 

  19. Gamari, B., Dietz, L.: Alligator collector: a latency-optimized garbage collector for functional programming languages. In: Proceedings of the 2020 ACM SIGPLAN International Symposium on Memory Management, London, UK, 16 June 2020, pp. 87–99 (2020)

    Google Scholar 

  20. Chifamba, T.D., Motara, Y.M.: Gamification of functional programming. In: Proceedings of the 2020 2nd International Multidisciplinary Information Technology and Engineering Conference (IMITEC), Kimberley, South Africa, 25–27 November 2020, pp. 1–8 (2020)

    Google Scholar 

  21. Bertrand, M.: Object-Oriented Software Construction Prentice-Hall International Series in Computer Science. Prentice-Hall, Upper Saddle River (1997)

    Google Scholar 

  22. Bjorner, D.: Software Engineering 1. Abstraction and Modelling. Springer, Berlin (2006)

    MATH  Google Scholar 

  23. Bjorner, D.: Software Engineering 2. Specification of Systems and Languages. Springer, Berlin (2006)

    Google Scholar 

  24. Blaha, M.: Patterns of Data Modeling. CRC Press, Boca Raton (2010)

    Book  Google Scholar 

  25. Beck, K.: Implementation Patterns. Addison-Wesley, Boston (2008). ISBN: 978-0321413093

    Google Scholar 

  26. Gamma, E., Vlissides, J., Helm, R., Johnson, R.: Design Patterns: Elements of Reusable Object Oriented. Addison-Wesley, Boston (1994)

    MATH  Google Scholar 

  27. Hutton, G.: Programming in Haskell. Cambridge University Press, Cambridge (2007)

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Computer Science, Transilvania University of Brasov, 500036, Brasov, Romania

    Razvan Bocu & Dorin Bocu

Authors
  1. Razvan Bocu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Dorin Bocu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Razvan Bocu .

Editor information

Editors and Affiliations

  1. Department of Information and Communication Engineering, Fukuoka Institute of Technology, Fukuoka, Japan

    Leonard Barolli

  2. University of Technology Sydney, Sydney, NSW, Australia

    Farookh Hussain

  3. Faculty of Business Administration, Rissho University, Tokyo, Japan

    Tomoya Enokido

Rights and permissions

Reprints and permissions

Copyright information

© 2022 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bocu, R., Bocu, D. (2022). Conceptual Foundations of Code Rationalization Through a Case Study in Haskell. In: Barolli, L., Hussain, F., Enokido, T. (eds) Advanced Information Networking and Applications. AINA 2022. Lecture Notes in Networks and Systems, vol 449. Springer, Cham. https://doi.org/10.1007/978-3-030-99584-3_11

Download citation

Publish with us

Policies and ethics

Search

Navigation