Role of Functional programming languages in Blockchain applications

Notice

This is an unedited manuscript accepted for publication and provided as an Article in Press for early access at the author’s request. The article will undergo copyediting, typesetting, and galley proof review before final publication. Please be aware that errors may be identified during production that could affect the content. All legal disclaimers of the journal apply.

Year : 2024 | Volume :11 | Issue : 03 | Page : –
By
vector

Atti Mangadevi,

vector

Yamuna Mundru,

vector

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-AI&ML, 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 document.addEventListener(‘DOMContentLoaded’,function(){frmFrontForm.scrollToID(‘frm_container_abs_110887’);});Edit Abstract & Keyword

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 (rtpl)]

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):-.
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):-. Available from: https://journals.stmjournals.com/rtpl/article=2024/view=0

Full Text PDF

Full Text PDF

References
document.addEventListener(‘DOMContentLoaded’,function(){frmFrontForm.scrollToID(‘frm_container_ref_110887’);});Edit

  1. Dhaiouir S, Assar S. A systematic literature review of blockchain-enabled smart contracts: platforms, languages, consensus, applications and choice criteria. InResearch Challenges in Information Science: 14th International Conference, RCIS 2020, Limassol, Cyprus, September 23–25, 2020, Proceedings 14 2020 (pp. 249-266). Springer International Publishing.
  2. Bandara E, Ng WK, Ranasinghe N, De Zoysa K. Aplos: Smart contracts made smart. InBlockchain and Trustworthy Systems: First International Conference, BlockSys 2019, Guangzhou, China, December 7–8, 2019, Proceedings 1 2020 (pp. 431-445). Springer Singapore.
  3. Hsiao SJ, Sung WT. Employing blockchain technology to strengthen security of wireless sensor networks. IEEE Access. 2021 May 13;9:72326-41.
  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 Mar 23;9:87643-62.
  5. Parizi RM, Amritraj, Dehghantanha A. Smart contract programming languages on blockchains: An empirical evaluation of usability and security. InBlockchain–ICBC 2018: First International Conference, Held as Part of the Services Conference Federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, Proceedings 1 2018 (pp. 75-91). Springer International Publishing.
  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 Feb;53(2):465-95.
  7. Connors C, Sarkar D. Survey of prominent blockchain development platforms. Journal of Network and Computer Applications. 2023 Jul 1;216:103650.
  8. Sanjay HA, Srinivas T, Madhu N, Parikh S. Insights on blockchain frameworks for decentralized application deployment. In2021 5th International Conference on Information Systems and Computer Networks (ISCON) 2021 Oct 22 (pp. 1-6). IEEE.
  9. Alfa AA, Alhassan JK, Olaniyi OM, Olalere M. Blockchain technology in IoT systems: current trends, methodology, problems, applications, and future directions. Journal of Reliable Intelligent Environments. 2021 Jun;7(2):115-43.
  10. Vivar AL, Orozco AL, Villalba LJ. A security framework for Ethereum smart contracts. Computer Communications. 2021 Apr 15;172:119-29.
  11. Singh A, Parizi RM, Zhang Q, Choo KK, Dehghantanha A. Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities. Computers & Security. 2020 Jan 1;88:101654.
  12. O’Connor R. Simplicity: A new language for blockchains. InProceedings of the 2017 Workshop on Programming Languages and Analysis for Security 2017 Oct 30 (pp. 107-120).
  13. Dyrhovden S. Blockchain and Trade Secrets: A Match Made in Heaven?. King’s College London. 2019. Available from https://digilabs.global/wp-content/uploads/2021/07/BlockchainandTradeSecretsAMatchMadeinHeaven.pdf
  14. Kushwaha SS, Joshi S, Singh D, Kaur M, Lee HN. Ethereum smart contract analysis tools: A systematic review. Ieee Access. 2022 Apr 22;10:57037-62.
  15. Tsankov P, Dan A, Drachsler-Cohen D, Gervais A, Buenzli F, Vechev M. Securify: Practical security analysis of smart contracts. InProceedings of the 2018 ACM SIGSAC conference on computer and communications security 2018 Oct 15 (pp. 67-82).
  16. Bhutta MN, 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 Apr 13;9:61048-73.
Regular Issue Subscription Review Article
Volume 11
Issue 03
Received 26/10/2024
Accepted 28/10/2024
Published 05/11/2024
161

function myFunction2() {
var x = document.getElementById(“browsefigure”);
if (x.style.display === “block”) {
x.style.display = “none”;
}
else { x.style.display = “Block”; }
}
document.querySelector(“.prevBtn”).addEventListener(“click”, () => {
changeSlides(-1);
});
document.querySelector(“.nextBtn”).addEventListener(“click”, () => {
changeSlides(1);
});
var slideIndex = 1;
showSlides(slideIndex);
function changeSlides(n) {
showSlides((slideIndex += n));
}
function currentSlide(n) {
showSlides((slideIndex = n));
}
function showSlides(n) {
var i;
var slides = document.getElementsByClassName(“Slide”);
var dots = document.getElementsByClassName(“Navdot”);
if (n > slides.length) { slideIndex = 1; }
if (n (item.style.display = “none”));
Array.from(dots).forEach(
item => (item.className = item.className.replace(” selected”, “”))
);
slides[slideIndex – 1].style.display = “block”;
dots[slideIndex – 1].className += ” selected”;
}