List Of Functional Programming Topics

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
  • 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