Role of Functional Programming Languages in Blockchain Applications

Year : 2024 | Volume : 11 | Issue : 03 | Page : 21 27
    By

    Atti Mangadevi,

  • Yamuna Mundru,

  • Manas Kumar Yogi,

  1. Assiatant Professor, Department of Information Technology, Pragati Engineering College (Autonomous), Surampalem, Andhra Pradesh, India
  2. Assistant Professor, Department of Computer Science and Engineering (Artificial Intelligence and Machine Learning), Pragati Engineering College (Autonomous), Surampalem, Andhra Pradesh, India
  3. Assistant Professor, Department of Computer Science and Engineering, Pragati Engineering College (Autonomous), Surampalem, Andhra Pradesh, India

Abstract

Functional programming (FP) languages play an increasingly influential role in blockchain applications, offering features that address critical challenges such as security, scalability, and reliability. The inherent characteristics of FP—immutability, pure functions, statelessness, and concurrency support—align well with blockchain’s decentralized and deterministic structure, making FP languages a natural fit for developing secure and verifiable smart contracts. Languages like Haskell, OCaml, and Erlang have proven effective in minimizing code errors, enabling formal verification, and supporting high-assurance development, which is essential in blockchain’s high-stakes environment. This review paper explores the strengths of FP languages in blockchain, examining their applications in smart contracts, cryptographic protocols, and privacy-preserving technologies. It also addresses challenges, including the complexity of FP languages, limited tooling, and potential performance issues, which can hinder adoption in high throughput blockchain systems. Recent advancements, however, indicate a growing hybridization of FP with traditional programming models, improving accessibility and performance. Overall, the integration of FP languages into blockchain holds promise for creating more robust and secure decentralized applications. As blockchain technology matures, the role of FP is poised to expand, particularly in industries where precision, security, and transparency are paramount.

Keywords: Functional, blockchain, smart contracts, verification, immutability, decentralized

[This article belongs to Recent Trends in Programming languages ]

How to cite this article:
Atti Mangadevi, Yamuna Mundru, Manas Kumar Yogi. Role of Functional Programming Languages in Blockchain Applications. Recent Trends in Programming languages. 2024; 11(03):21-27.
How to cite this URL:
Atti Mangadevi, Yamuna Mundru, Manas Kumar Yogi. Role of Functional Programming Languages in Blockchain Applications. Recent Trends in Programming languages. 2024; 11(03):21-27. Available from: https://journals.stmjournals.com/rtpl/article=2024/view=180924


References

  1. Dhaiouir S, Assar S. A systematic literature review of blockchain-enabled smart contracts: Platforms, languages, consensus, applications and choice criteria. In: Fabiano Dalpiaz, Jelena Zdravkovic, Pericles Loucopoulos, editors. Research Challenges in Information Science. Proceedings: 14th International Conference, RCIS 2020, Limassol, Cyprus, 23–25 Sep 2020, Vol. 14. Switzerland: Springer International Publishing; 2020. pp. 249–266. DOI: 10.1007/978-3-030-50316-1_15.
  2. Bandara E, Ng WK, Ranasinghe N, De Zoysa K. Aplos: Smart contracts made smart. In: Zheng Z, Dai H-N, Tang M, Chen X, editors. Blockchain and Trustworthy Systems: First International Conference, BlockSys 2019, Guangzhou, China, December 7–8, 2019. Singapore: Springer Nature; 2020. p. 431–445.
  3. Hsiao SJ, Sung WT. Employing blockchain technology to strengthen security of wireless sensor networks. IEEE Access. 2021;9:72326–72341. DOI: 10.1109/ACCESS.2021.3079708.
  4. Hewa TM, Hu Y, Liyanage M, Kanhare SS, Ylianttila M. Survey on blockchain-based smart contracts: Technical aspects and future research. IEEE Access. 2021;9:87643–87662. DOI: 10.1109/ACCESS.2021.3068178.
  5. Parizi RM, Amritraj D, Dehghantanha A. Smart Contract Programming Languages on Blockchains: An Empirical Evaluation of Usability and Security. In: Chen S, Wang H, Zhang LJ, editors. Blockchain – ICBC 2018. Lecture Notes in Computer Science. Cham: Springer; 2018. p. 75-91. DOI: https://doi.org/10.1007/978-3-319-94478-4_6.
  6. Piantadosi V, Rosa G, Placella D, Scalabrino S, Oliveto R. Detecting functional and security-related issues in smart contracts: A systematic literature review. Software: Practice and Experience. 2023;53(2):465-495. DOI: 10.1002/spe.3156.
  7. Connors C, Sarkar D. Survey of prominent blockchain development platforms. J Netw Comput Appl. 2023;216(C):103650. DOI: 10.1016/j.jnca.2023.103650.
  8. Sanjay HA, Srinivas T, Madhu N, Parikh S. Insights on blockchain frameworks for decentralized application deployment. 2021 5th International Conference on Information Systems and Computer Networks (ISCON), Mathura, India. 2021. pp. 1–6. DOI: 10.1109/ISCON52037.2021.9702490.
  9. Alfa AA, Alhassan JK, Olaniyi OM, et al. Blockchain technology in IoT systems: current trends, methodology, problems, applications, and future directions. J Reliable Intell Environ. 2021;7:115-143. DOI: 10.1007/s40860-020-00116-z.
  10. López Vivar A, Sandoval Orozco AL, García Villalba LJ. A security framework for Ethereum smart contracts. Comput Commun. 2021;172:119-129. DOI: 10.1016/j.comcom.2021.03.008.
  11. Singh A, Parizi RM, Zhang Q, Choo KK, Dehghantanha A. Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities. Comput Secur. 2020;88:101654. DOI: 10.1016/j.cose.2019.101654.
  12. O’Connor R. Simplicity: A New Language for Blockchains. [Preprint]. Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security. ACM, New York, NY, USA. 2017. pp. 107–120. DOI: https://doi.org/10.1145/3139337.3139340.
  13. Dyrhovden S. Blockchain and trade secrets: A match made in heaven? King’s College London. Available from: https://digilabs.global/wp-content/uploads/2021/07/BlockchainandTradeSecrets
    pdf.
  14. Kushwaha SS, Joshi S, Singh D, Kaur M, Lee HN. Ethereum smart contract analysis tools: A systematic review. IEEE Access. 2022;10:57037–57062. DOI: 10.1109/ACCESS.2022.3169902.
  15. Tsankov P, Dan A, Drachsler-Cohen D, Gervais A, Buenzli F, Vechev M. Securify: Practical Security Analysis of Smart Contracts. Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. New York, NY: Association for Computing Machinery; 2018. p. 67-82. DOI: 10.1145/3243734.3243780.
  16. Bhutta MNM, Khwaja AA, Nadeem A, Ahmad HF, Khan MK, Hanif MA, Song H, Alshamari M, Cao Y. A survey on blockchain technology: Evolution, architecture and security. IEEE Access. 2021;9:61048–61073. DOI: 10.1109/ACCESS.2021.3072849.
Regular Issue Subscription Review Article
Volume 11
Issue 03
Received 26/10/2024
Accepted 28/10/2024
Published 05/11/2024
243

Login


My IP

PlumX Metrics