Content deleted Content added
m disambiguation: Lisp |
Sam-you-ale (talk | contribs) possible dead link fix |
||
(81 intermediate revisions by 57 users not shown) | |||
Line 1:
{{Short description|none}}
▲This is a '''list of [[functional programming]] topics''', by Wikipedia page.
==Foundational concepts==
Line 7:
*[[Programming paradigm]]
*[[Declarative programming]]
*[[Purely functional programming]]
*[[Static scoping]]▼
▲*[[scope (programming)|Static scoping]]
*[[Higher-order function]]
*[[Referential transparency]]
==
{{Further information|Lambda calculus}}
*[[Currying]]
*[[Lambda abstraction]]
*[[
*[[Extensionality]]
*[[Church numeral]]
==
{{Further information|Combinatory logic}}
*[[Fixed point combinator]]
*[[SKI combinator calculus]]
*[[B, C, K, W system]]
*[[SECD machine]]
*[[Graph reduction machine]]
==
{{Further information|Intuitionistic logic}}
*[[Sequent]], [[sequent calculus]]
*[[Natural deduction]]
*[[Intuitionistic type theory]]
*[[BHK interpretation]]
*[[Curry–Howard correspondence]]
*[[Linear logic]]
*[[Game semantics]]
==
{{Further information|Type theory}}
*[[Typed lambda calculus]]
*[[Typed and untyped languages]]
Line 44 ⟶ 49:
*[[Type inference]]
*[[Datatype]]
*[[Algebraic data type]] ([[Generalized algebraic data type|generalized]])
*[[Type variable]]
*[[First-class value]]
*[[Polymorphism (computer science)|Polymorphism]]
*[[Calculus of
==[[Denotational semantics]]==▼
{{Further information|Denotational semantics}}
*[[Domain theory]]
**
**[[
==
{{Further information|Category theory}}
*[[Cartesian
*[[Yoneda lemma]]
Line 64 ⟶ 69:
*[[Graph reduction]]
**[[Combinator graph reduction]]
▲*[[Non-strict programming language]]
*[[Lazy evaluation]], [[eager evaluation]]
*[[Speculative evaluation]]
*[[Side
*[[Assignment (computer science)|Assignment]]
**[[Setq]]
*[[Closure (computer programming)|Closure]]
*[[Continuation]]
*[[Continuation passing style]]
*[[Operational semantics]]
Line 77 ⟶ 85:
*[[Monads in functional programming]]
*[[Exception handling]]
*[[Garbage collection (computer science)|Garbage collection]]
==Programming languages==
▲*[[Clean programming language]]
*[[
**[[The Glasgow Haskell Compiler]]▼
*[[Elixir (programming language)|Elixir]]
**[[Hugs]]▼
*[[Erlang (programming language)|Erlang]]
*[[FP (programming language)|FP]]
*[[F Sharp programming language|F#]]
*[[Haskell]]
**[[Gofer (programming language)|Gofer]]
**[[Hugs (interpreter)|Hugs]]
**[[Template Haskell]]
*[[ISWIM]]
*[[JavaScript]]
*[[Kent Recursive Calculator]]
*[[
▲*[[Lisp programming language|Lisp]]
**[[AutoLISP]]
**[[Common Lisp]]
**[[Emacs Lisp]]
**[[
*[[
*[[
*[[ML (programming language)|ML]] ([[:Category:ML programming language family]])
**[[Caml]]▼
▲**[[F sharp programming language]]
**[[
*[[Q (programming language from Kx Systems)]]
▲*[[Nemerle]]
*[[
*[[Scala (programming language)|Scala]]
*[[SISAL]]
[[Category:Functional programming| ]]
[[Category:
[[Category:Outlines of computing and engineering|Functional programming topics]]
[[Category:Outlines|Functional programming topics]]
|