List of functional programming topics: Difference between revisions

Revision as of 16:22, 10 October 2004

Latest revision as of 20:20, 20 February 2025

(76 intermediate revisions by 54 users not shown)

Line 1:

{{Short description|none}}

This is a '''list of [[functional programming]] topics''', by Wikipedia page.

This is a '''list of [[functional programming]] topics''', by Wikipedia page.

==Foundational concepts==

Line 5 ⟶ 7:

*[[Programming paradigm]]

*[[Declarative programming]]

**[[DeclarativeMathematical programming|Programs languageas mathematical objects]]

*[[Programs as mathematical objects]]

*[[Function-level programming]]

*[[Purely functional programming]]

**[[FTotal sharpfunctional programming language]]

*[[Lambda programming]]

*[[scope (programming)|Static scoping]]

*[[Higher-order function]]

*[[Referential transparency]]

==[[Lambda calculus]]==

{{Further information|Lambda calculus}}

*[[Currying]]

**[[Currying concept]]

*[[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]]

*[[Curry-Howard isomorphism]]

*[[BHK interpretation]]

*[[Curry–Howard correspondence]]

*[[Linear logic]]

*[[Game semantics]]

==[[Type theory]]==

{{Further information|Type theory}}

*[[Typed lambda calculus]]

*[[Typed and untyped languages]]

Line 45 ⟶ 49:

*[[Type inference]]

*[[Datatype]]

*[[Algebraic data type]] ([[Generalized algebraic data type|generalized]])

*[[Type variable]]

*[[First-class value]]

*[[Polymorphism (computer science)|Polymorphism]]

*[[Calculus of Constructionsconstructions]]

==[[Denotational semantics]]==

==[[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 66 ⟶ 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 programming)|Closure]]

*[[Continuation]]

*[[Continuation passing style]]

*[[Operational semantics]]

Line 79 ⟶ 85:

*[[Monads in functional programming]]

*[[Exception handling]]

*[[Garbage collection (computer science)|Garbage collection]]

**[[Garbage collection (computer science)|Automatic garbage collection]]

==Languages==

==Programming languages==

*[[Clean programming language]]

*[[Erlang{{Further information|List of functional programming language]]languages}}

*[[FPClean (programming language)|Clean]]

*[[NemerleClojure]]

*[[Haskell programming language]]

*[[LispElixir (programming language)|LispElixir]]

**[[The Glasgow Haskell Compiler]]

*[[Erlang (programming language)|Erlang]]

**[[Hugs]]

*[[CleanFP (programming language)|FP]]

*[[HaskellF Sharp programming language|F#]]

*[[Haskell]]

**[[The Glasgow Haskell Compiler]]

**[[Gofer (programming 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]]

**[[MercuryScheme (programming language)|Scheme]]

*[[MirandaMercury (programming language)|Mercury]]

*[[MLMiranda (programming language)|Miranda]]

*[[ML (programming language)|ML]] ([[:Category:ML programming language family]])

**[[Caml]]

**[[HugsOCaml]]

**[[F sharp programming language]]

**[[OcamlStandard ML]]

**[[SMLPure (programming language)|Pure, predecessor Q]]

*[[Q (programming language from Kx Systems)]]

*[[Nemerle]]

*[[SchemeQuantum programming language]]

*[[Scala (programming language)|Scala]]

*[[SISAL]]

**[[CamlΩmega]]

[[Category:Functional programming| ]]

[[Category:TopicComputing-related lists|Functional programming]]

[[Category:Outlines of computing and engineering|Functional programming topics]]

[[Category:Outlines|Functional programming topics]]