Functional programming

For subroutine-oriented programming, see Procedural programming.

In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that map values to other values, rather than a sequence of imperative statements which update the running state of the program.

In functional programming, functions are treated as first-class citizens, meaning that they can be bound to names (including local identifiers), passed as arguments, and returned from other functions, just as any other data type can. This allows programs to be written in a declarative and composable style, where small functions are combined in a modular manner.

Functional programming is sometimes treated as synonymous with purely functional programming, a subset of functional programming that treats all functions as deterministic mathematical functions, or pure functions. When a pure function is called with some given arguments, it will always return the same result, and cannot be affected by any mutable state or other side effects. This is in contrast with impure procedures, common in imperative programming, which can have side effects (such as modifying the program's state or taking input from a user). Proponents of purely functional programming claim that by restricting side effects, programs can have fewer bugs, be easier to debug and test, and be more suited to formal verification.[1][2]

Functional programming has its roots in academia, evolving from the lambda calculus, a formal system of computation based only on functions. Functional programming has historically been less popular than imperative programming, but many functional languages are seeing use today in industry and education, including Common Lisp, Scheme,[3][4][5][6] Clojure, Wolfram Language,[7][8] Racket,[9] Erlang,[10][11][12] Elixir,[13] OCaml,[14][15] Haskell,[16][17] and F#.[18][19] Lean is a functional programming language commonly used for verifying mathematical theorems.[20] Functional programming is also key to some languages that have found success in specific domains, like JavaScript in the Web,[21] R in statistics,[22][23] J, K and Q in financial analysis, and XQuery/XSLT for XML.[24][25] Domain-specific declarative languages like SQL and Lex/Yacc use some elements of functional programming, such as not allowing mutable values.[26] In addition, many other programming languages support programming in a functional style or have implemented features from functional programming, such as C++11, C#,[27] Kotlin,[28] Perl,[29] PHP,[30] Python,[31] Go,[32] Rust,[33] Raku,[34] Scala,[35] and Java (since Java 8).[36]

  1. ^ Hudak, Paul (September 1989). "Conception, evolution, and application of functional programming languages" (PDF). ACM Computing Surveys. 21 (3): 359–411. doi:10.1145/72551.72554. S2CID 207637854. Archived from the original (PDF) on 2016-01-31. Retrieved 2013-08-10.
  2. ^ Cite error: The named reference hughesWhyFPMatters was invoked but never defined (see the help page).
  3. ^ Cite error: The named reference clinger1987 was invoked but never defined (see the help page).
  4. ^ Cite error: The named reference hartheimer1987 was invoked but never defined (see the help page).
  5. ^ Cite error: The named reference kidd2007 was invoked but never defined (see the help page).
  6. ^ Cite error: The named reference cleis2006 was invoked but never defined (see the help page).
  7. ^ "Wolfram Language Guide: Functional Programming". 2015. Retrieved 2015-08-24.
  8. ^ Cite error: The named reference Amath-CO was invoked but never defined (see the help page).
  9. ^ Cite error: The named reference racket-video-games was invoked but never defined (see the help page).
  10. ^ Cite error: The named reference erlang-faq was invoked but never defined (see the help page).
  11. ^ Cite error: The named reference armstrong2007 was invoked but never defined (see the help page).
  12. ^ Cite error: The named reference larson2009 was invoked but never defined (see the help page).
  13. ^ "The Elixir Programming Language". Retrieved 2021-02-14.
  14. ^ Cite error: The named reference minksy2008 was invoked but never defined (see the help page).
  15. ^ Cite error: The named reference leroy2007 was invoked but never defined (see the help page).
  16. ^ Cite error: The named reference haskell-industry was invoked but never defined (see the help page).
  17. ^ Cite error: The named reference hudak2007 was invoked but never defined (see the help page).
  18. ^ Mansell, Howard (2008). Quantitative Finance in F#. CUFP 2008. Archived from the original on 2015-07-08. Retrieved 2009-08-29.
  19. ^ Peake, Alex (2009). The First Substantial Line of Business Application in F#. CUFP 2009. Archived from the original on 2009-10-17. Retrieved 2009-08-29.
  20. ^ de Moura, Leonardo; Ullrich, Sebastian (July 2021). "The Lean 4 Theorem Prover and Programming Language". Lecture Notes in Artificial Intelligence. Conference on Automated Deduction. Vol. 12699. pp. 625–635. doi:10.1007/978-3-030-79876-5_37. ISSN 1611-3349.
  21. ^ Banz, Matt (2017-06-27). "An introduction to functional programming in JavaScript". Opensource.com. Retrieved 2021-01-09.
  22. ^ Cite error: The named reference useR was invoked but never defined (see the help page).
  23. ^ Cite error: The named reference Chambers was invoked but never defined (see the help page).
  24. ^ Cite error: The named reference Novatchev was invoked but never defined (see the help page).
  25. ^ Cite error: The named reference Mertz was invoked but never defined (see the help page).
  26. ^ Cite error: The named reference Chamberlin_Boyce was invoked but never defined (see the help page).
  27. ^ Functional Programming with C# - Simon Painter - NDC Oslo 2020, 8 August 2021, archived from the original on 2021-10-30, retrieved 2021-10-23
  28. ^ "Functional programming - Kotlin Programming Language". Kotlin. Retrieved 2019-05-01.
  29. ^ Dominus, Mark J. (2005). Higher-Order Perl. Morgan Kaufmann. ISBN 978-1-55860-701-9.
  30. ^ Holywell, Simon (2014). Functional Programming in PHP. php[architect]. ISBN 9781940111056.
  31. ^ The Cain Gang Ltd. "Python Metaclasses: Who? Why? When?" (PDF). Archived from the original (PDF) on 30 May 2009. Retrieved 27 June 2009.
  32. ^ "GopherCon 2020: Dylan Meeus - Functional Programming with Go". YouTube. 22 December 2020.
  33. ^ "Functional Language Features: Iterators and Closures - The Rust Programming Language". doc.rust-lang.org. Retrieved 2021-01-09.
  34. ^ Vanderbauwhede, Wim (18 July 2020). "Cleaner code with functional programming". Archived from the original on 28 July 2020. Retrieved 6 October 2020.
  35. ^ Cite error: The named reference effective-scala was invoked but never defined (see the help page).
  36. ^ Cite error: The named reference java-8-javadoc was invoked but never defined (see the help page).