List of functional programming topics

Short description: Wikipedia list article

This is a list of functional programming topics.

## Contents

* 1 Foundational concepts
* 2 Lambda calculus
* 3 Combinatory logic
* 4 Intuitionistic logic
* 5 Type theory
* 6 Denotational semantics
* 7 Category theory
* 8 Operational issues
* 9 Programming languages

## Foundational concepts

* 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

## Lambda calculus

Further information: Lambda calculus

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

## Combinatory logic

Further information: Combinatory logic

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

## Intuitionistic logic

Further information: Intuitionistic logic

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

## Type theory

Further information: Type theory

* 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

## Denotational semantics

Further information: Denotational semantics

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

## Category theory

Further information: Category theory

* Cartesian closed category
* Yoneda lemma

## Operational issues

* 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

## Programming languages

Further information: List of functional programming languages

* 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
* OCaml
* Standard ML
* Pure, predecessor Q
* Q (programming language from Kx Systems)
* Quantum programming
* Scala
* SISAL
* Ωmega

This article does not cite any external source. HandWiki requires at least one external source. See citing external sources. Please help improve this article. Unsourced material may be removed in future.
Find sources: "List of functional programming topics" – news · newspapers · books · scholar · JSTOR (2021) (Learn how and when to remove this template message)

|

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/List of functional programming topics. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=List_of_functional_programming_topics&oldid=242716"