List of functional programming topics: Difference between revisions

Content deleted Content added
m +sort
possible dead link fix
 
(18 intermediate revisions by 13 users not shown)
Line 1:
{{Short description|none}}
{{Unreferenced|date=June 2010}}
 
This is a '''list of [[functional programming]] topics'''.
 
Line 6 ⟶ 7:
*[[Programming paradigm]]
*[[Declarative programming]]
*[[ProgramMathematical (mathematical object)programming|Programs as mathematical objects]]
*[[Function-level programming]]
*[[Purely functional programming]]
*[[QTotal (equationalfunctional programming language)]]
*[[Lambda programming]]
*[[scope (programming)|Static scoping]]
*[[Higher-order function]]
*[[Referential transparency (computer science)|Referential transparency]]
 
==[[Lambda calculus]]==
 
==[[Lambda calculus]]==
{{Further information|Lambda calculus}}
*[[Currying]]
*[[Lambda abstraction]]
*[[Church-RosserChurch–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]]
*[[Curry–Howard]]
*[[Linear logic]]
*[[Game semantics]]
 
==[[Type theory]]==
{{Further information|Type theory}}
 
*[[Typed lambda calculus]]
*[[Typed and untyped languages]]
Line 47 ⟶ 49:
*[[Type inference]]
*[[Datatype]]
*[[Algebraic data type]] ([[Generalized algebraic data type|generalized]])
*[[Type variable]]
*[[First-class value]]
Line 53 ⟶ 55:
*[[Calculus of constructions]]
 
==[[Denotational semantics]]==
{{Further information|Denotational semantics}}
 
*[[Domain theory]]
**[[Directed [[complete partial order]]
**[[Knaster–TarskiKnaster–Tarski theorem]]
 
==[[Category theory]]==
 
==[[Category theory]]==
*[[Cartesian-closed category]]
{{Further information|Category theory}}
*[[Cartesian- closed category]]
*[[Yoneda lemma]]
 
Line 68 ⟶ 70:
*[[Graph reduction]]
**[[Combinator graph reduction]]
*[[Non-strictStrict programming language]]
*[[Lazy evaluation]], [[eager evaluation]]
*[[Speculative evaluation]]
*[[Side- effect (computer science)|Side- effect]]
*[[Assignment (computer science)|Assignment]]
**[[Setq]]
*[[Closure (computer scienceprogramming)|Closure]]
*[[Continuation]]
*[[Continuation passing style]]
Line 83 ⟶ 85:
*[[Monads in functional programming]]
*[[Exception handling]]
*[[Garbage collection (computer science)|Garbage collection]]
 
==Languages==
 
==Programming languages==
*[[Abstract Rewriting Machine]]
*[[Clean{{Further information|List of functional programming language]]languages}}
*[[Clojure|ClojureClean (programming language)|Clean]]
*[[Clojure]]
*[[Elixir (programming language)|Elixir programming language]]
*[[ErlangElixir (programming language)|Elixir]]
*[[FPErlang (programming language)|Erlang]]
*[[F SharpFP (programming language)|FP]]
*[[F# Sharp programming language|F#]]
*[[Haskell]]
*[[Haskell (programming language)|Haskell programming language]]
**[[Glasgow Haskell Compiler]]
**[[Gofer (softwareprogramming language)|Gofer]]
**[[Hugs (interpreter)|Hugs]]
**[[Template Haskell]]
*[[ISWIM]]
*[[JavaScript]]
*[[Kent Recursive Calculator]]
*[[KogutLisp (programming language)|Lisp]]
*[[Lisp programming language|Lisp]]
**[[AutoLISP]]
**[[Common Lisp]]
**[[Emacs Lisp]]
**[[Scheme (programming language)|Scheme]]
*[[Mercury (programming language)|Mercury]]
**[[LushMiranda (programming language)|Lush programming languageMiranda]]
*[[MercuryML (programming language)|ML]] ([[:Category:ML programming language family]])
*[[Miranda programming language]]
*[[ML programming language]] ([[:Category:ML programming language family]])
**[[Mythryl]]
**[[OCaml]]
**[[Standard ML]]
*[[Pure (programming language)|Pure, predecessor Q]]
*[[Q (equational programming language)]]
*[[Q (programming language from Kx Systems)]]
*[[Quantum programming]]
*[[Scala (programming language)|Scala programming language]]
*[[SISAL]]
*[[Ωmega]]
Line 125 ⟶ 122:
[[Category:Functional programming| ]]
[[Category:Computing-related lists|Functional programming]]
[[Category:Outlines of computing and engineering|Functional programming topics]]
[[Category:Outlines|Functional programming topics]]