Difference between revisions of "Template:Functional programming basics"
Jump to navigation
Jump to search
imported>Ancheta Wis (test) |
imported>Ancheta Wis (+1) |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 2: | Line 2: | ||
|name = Functional programming basics | |name = Functional programming basics | ||
|title = [[Functional programming ]] | |title = [[Functional programming ]] | ||
| − | + | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
*[[Abstract rewriting system]] | *[[Abstract rewriting system]] | ||
*[[Ad hoc polymorphism]] | *[[Ad hoc polymorphism]] | ||
| Line 36: | Line 24: | ||
*[[Effect system]] | *[[Effect system]] | ||
*[[Exponential object]] | *[[Exponential object]] | ||
| − | |||
*[[Expression (computer science)]] | *[[Expression (computer science)]] | ||
*[[Expression (mathematics)]] | *[[Expression (mathematics)]] | ||
| Line 51: | Line 38: | ||
*[[Kan extension]] | *[[Kan extension]] | ||
*[[Lambda calculus definition]] | *[[Lambda calculus definition]] | ||
| + | *[[Lambda lifting]] | ||
*[[Miranda (programming language)]] | *[[Miranda (programming language)]] | ||
*[[Monad (functional programming)]] | *[[Monad (functional programming)]] | ||
| Line 82: | Line 70: | ||
*[[Type theory]] | *[[Type theory]] | ||
*[[Unified Modeling Language]] | *[[Unified Modeling Language]] | ||
| − | + | ||
}}<noinclude>{{Documentation|content= | }}<noinclude>{{Documentation|content= | ||
| Line 92: | Line 80: | ||
[[Category:Programming language templates|{{PAGENAME}}]] | [[Category:Programming language templates|{{PAGENAME}}]] | ||
}}</noinclude> | }}</noinclude> | ||
| + | <!-- | ||
| + | *[[Complete partial order Cont]] | ||
| + | *[[Hindley–Milner t s]] | ||
| + | *[[Abstract mach Info]] | ||
| + | |||
| + | *[[Expression evaluation]] | ||
| + | |||
| + | |||
| + | *[[Abstract_machine#Information]] | ||
| + | *[[Complete_partial_order#Continuous_functions_and_fixpoints]] | ||
| + | *[[Hindley–Milner type system#Hindley–Milner_type_inference_algorithm]] | ||
| + | *[[Lambda_calculus#The_lambda_calculus]] | ||
| + | *[[Lambda_cube#System_F]] | ||
| + | *[[Lambda_lifting#Let_expressions_and_lambda_calculus]] | ||
| + | *[[Lazy_evaluation#Laziness_and_eagerness] | ||
| + | *[[Linear_logic#Sequent_calculus_presentation]] | ||
| + | *[[Turnstile_(symbol)#Interpretations]]*[[Complete_partial_order#Continuous_functions_and_fixpoints]] | ||
| + | --> | ||
Latest revision as of 12:11, 28 March 2019
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |