List of functional programming topics

This is a list of functional programming topics, by Wikipedia page.

Foundational concepts

• Programming paradigm
• Declarative programming
  • Declarative programming language
• Programs as mathematical objects
• Function-level programming
• Purely functional
• Lambda programming
• Static scoping
• Higher-order function
• Referential transparency

Lambda calculus

• Currying
  • Currying concept
• Lambda abstraction
• Church-Rosser theorem
• Extensionality
• Church numeral

Combinatory logic

• Fixed point combinator
• SKI combinator calculus
• B,C,K,W system
• SECD machine
• Graph reduction machine

Intuitionistic logic

• Sequent, sequent calculus
• Natural deduction
• Intuitionistic type theory
• BHK interpretation
• Curry-Howard
• Linear logic
• Game semantics

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

• Domain theory
  • Directed complete partial order
  • Knaster-Tarski theorem

Category theory

• Cartesian-closed category
• Yoneda lemma

Operational issues

• Graph reduction
  • Combinator 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
  • Automatic garbage collection

Languages

• Clean programming language
• Erlang programming language
• FP programming language
• Haskell programming language
  • Glasgow Haskell Compiler
  • Hugs
  • Template Haskell
• ISWIM
• Kent Recursive Calculator
• Kogut programming language
• Lisp
  • AutoLISP
  • Common Lisp
  • Emacs Lisp
• Mercury programming language
• Miranda programming language
• ML programming language
  • Caml
  • F sharp programming language
  • Ocaml
  • SML programming language
• Nemerle
• Scheme programming language
• SISAL