List of functional programming topics
From Free net encyclopedia
Revision as of 03:19, 3 February 2006; view current revision
←Older revision | Newer revision→
←Older revision | Newer revision→
This is a list of functional programming topics, by Wikipedia page.
Contents |
[edit]
Foundational concepts
- Programming paradigm
- Declarative programming
- Programs as mathematical objects
- Function-level programming
- Purely functional
- Lambda programming
- Static scoping
- Higher-order function
- Referential transparency
[edit]
Lambda calculus
[edit]
Combinatory logic
[edit]
Intuitionistic logic
- Sequent, sequent calculus
- Natural deduction
- Intuitionistic type theory
- BHK interpretation
- Curry-Howard
- Linear logic
- Game semantics
[edit]
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
[edit]
Denotational semantics
[edit]
Category theory
[edit]
Operational issues
- Graph reduction
- Non-strict programming language
- Lazy evaluation, eager evaluation
- Speculative evaluation
- Side-effect
- Assignment
- Continuation passing style
- Operational semantics
- State transition system
- Simulation preorder
- Bisimulation
- Monads in functional programming
- Exception handling
- Garbage collection (computer science)
[edit]