Functional Programming Language: Difference between revisions

Revision as of 13:54, 6 July 2022

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.

@@ Line 3: / Line 3: @@
 * <B>Context</U>:</B>
 ** 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 express the evaluation of [[Mathematical Function]].
 ** It can be used to avoid [[Software Program State]].
 ** It can be used to avoid [[Mutable Data Structure]]s.