Functional Programming Language
- AKA: Mathematical Function-centric Programming Language.
- 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.
- See: Object-Relational Programming, Curry-Howard Isomorphism.