Functional Programming Language: Difference between revisions
Jump to navigation
Jump to search
m (Text replacement - "]] ** " to "]]. ** ") |
No edit summary |
||
| Line 17: | Line 17: | ||
** [[ML Programming Language]]. | ** [[ML Programming Language]]. | ||
** [[Scala Programming Language]]. | ** [[Scala Programming Language]]. | ||
** [[Elixir Programming Language]]. | |||
** … | ** … | ||
* <B>Counter-Example(s):</B> | * <B>Counter-Example(s):</B> | ||
| Line 38: | Line 39: | ||
__NOTOC__ | __NOTOC__ | ||
[[Category:Concept]] | [[Category:Concept]] | ||
[[Category:Quality Silver]] | |||
Latest revision as of 18:58, 15 April 2024
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):
- Counter-Example(s):
- 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.