List of functional programming topics

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "List of functional programming topics" – news · newspapers · books · scholar · JSTOR (June 2010) (Learn how and when to remove this message)

This is a list of functional programming topics.

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

• Currying
• Lambda abstraction
• Church–Rosser theorem
• Extensionality
• Church numeral

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

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

• Typed lambda calculus
• Typed and untyped languages
• Type signature
• Type inference
• Datatype
• Algebraic data type (generalized)
• Type variable
• First-class value
• Polymorphism
• Calculus of constructions

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

• Cartesian closed category
• Yoneda lemma

• Graph reduction
  • Combinator graph reduction
• Strict programming language
• Lazy evaluation, eager evaluation
• Speculative evaluation
• Side effect
• Assignment
  • Setq
• Closure
• Continuation
• Continuation passing style
• Operational semantics
• State transition system
• Simulation preorder
• Bisimulation
• Monads in functional programming
• Exception handling
• Garbage collection

• Clean
• Clojure
• Elixir
• Erlang
• FP
• F#
• Haskell
  • Glasgow Haskell Compiler
  • Gofer
  • Hugs
  • Template Haskell
• ISWIM
• JavaScript
• Kent Recursive Calculator
• Lisp
  • AutoLISP
  • Common Lisp
  • Emacs Lisp
  • Scheme
• Mercury
• Miranda
• ML (Category:ML programming language family)
  • OCaml
  • Standard ML
• Pure, predecessor Q
• Q (programming language from Kx Systems)
• Quantum programming
• Scala
• SISAL
• Ωmega