Science Fair Project Encyclopedia
List of functional programming topics
This is a list of functional programming topics, by Wikipedia page.
| Contents |
Foundational concepts
- Programming paradigm
- Declarative programming
- Programs as mathematical objects
- Function-level programming
- Purely functional
- Lambda programming
- Static scoping
- Higher-order function
- Referential transparency
Lambda calculus
Combinatory logic
Intuitionistic logic
Type theory
- Typed lambda calculus
- Typed and untyped languages
- Type signature
- Type inference
- Datatype
- Algebraic data type
- Type variable
- First-class value
- Polymorphism
- Calculus of Constructions
Denotational semantics
Category theory
Operational issues
- Graph reduction
- Non-strict programming language
- Lazy evaluation, eager evaluation
- Speculative evaluation
- Side-effect
- Assignment
- Setq
- Continuation passing style
- Operational semantics
- State transition system
- Simulation preorder
- Bisimulation
- Monads in functional programming
- Exception handling
- Garbage collection
Languages
12-03-2008 10:22:39
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


