Functional Programming Language

A Functional Programming Language is a declarative programming language that facilitates coding within a functional programming paradigm.

• AKA: Mathematical Function-centric Programming Language.
• Context:
  • It can be associated with a Mathematical Function-centric Computer Program (a set of functions defined by equations using case distinction and recursion).
  • It can be used to express the evaluation of Mathematical Function.
  • It can be used to avoid Software Program State.
  • It can be used to avoid Mutable Data Structures.
  • It can provide efficient, demand-driven evaluation strategies that support infinite structures.
  • It can range from being a Statically-Typed Functional Programming Language Programming Language with Static Types to being a Dynamically-Typed Functional Programming Language Programming Language.
  • It can range from being a General Functional Programming Language to being a Domain-Specific Functional Programming Language.
  • …
• Example(s):
  • Haskell Programming Language.
  • Epigram Programming Language.
  • Agda Programming Language.
  • Clojure Programming Language.
  • ML Programming Language.
  • Scala Programming Language.
  • …
• Counter-Example(s):
  • a Logic-based Programming Language.
  • an Imperative Programming Language.
  • an Object Oriented Programing Language.
• See: Object-Relational Programming, Curry-Howard Isomorphism.

---

---

References

2013

• http://en.wikipedia.org/wiki/Category:Functional_languages
  • This category lists programming languages that adhere to the functional programming paradigm.

---