Difference between revisions of "Template:Functional programming basics"
Jump to navigation
Jump to search
imported>Ancheta Wis (test) |
imported>Ancheta Wis (test) |
||
| Line 39: | Line 39: | ||
*[[Higher-order function]] | *[[Higher-order function]] | ||
*[[Higher-order logic]] | *[[Higher-order logic]] | ||
| − | *[[Hindley–Milner type system]] | + | --> |
| − | *[[Intuitionistic type theory]] | + | *[[Hindley–Milner type system#Hindley–Milner_type_inference_algorithm]] |
| + | <!--*[[Intuitionistic type theory]] | ||
*[[Intuitionistic logic]] | *[[Intuitionistic logic]] | ||
*[[Kan extension]] | *[[Kan extension]] | ||
| Line 76: | Line 77: | ||
*[[Topos]]--> | *[[Topos]]--> | ||
*[[Turnstile_(symbol)#Interpretations]] | *[[Turnstile_(symbol)#Interpretations]] | ||
| + | <!-- | ||
*[[Type class]] | *[[Type class]] | ||
*[[Type constructor]] | *[[Type constructor]] | ||
| Line 82: | Line 84: | ||
*[[Type theory]] | *[[Type theory]] | ||
*[[Unified Modeling Language]] | *[[Unified Modeling Language]] | ||
| − | + | --> | |
}}<noinclude>{{Documentation|content= | }}<noinclude>{{Documentation|content= | ||
Revision as of 14:53, 27 March 2019
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |