Difference between revisions of "Template:Evaluation strategy"
Jump to navigation
Jump to search
Template documentation
imported>Arachnelis m (sub-category) |
(links) |
||
Line 4: | Line 4: | ||
| contentstyle = text-align: left | | contentstyle = text-align: left | ||
| content1 = | | content1 = | ||
− | * [[ | + | * Strict evaluation: [[Eager evaluation]] |
** [[Applicative order]] | ** [[Applicative order]] | ||
** [[Call by value]] | ** [[Call by value]] | ||
Line 14: | Line 14: | ||
** [[Evaluation strategy#Normal order|Normal order]] | ** [[Evaluation strategy#Normal order|Normal order]] | ||
** [[Call by name]] | ** [[Call by name]] | ||
− | ** | + | ** Call by need: [[Lazy evaluation]] |
** [[Call by macro expansion]] | ** [[Call by macro expansion]] | ||
* [[Evaluation strategy#Nondeterministic strategies|Nondeterministic strategies]] | * [[Evaluation strategy#Nondeterministic strategies|Nondeterministic strategies]] | ||
− | ** [[Evaluation strategy# | + | ** [[Evaluation strategy#Full β-reduction|Full-reduction]] |
** [[Call by future]] | ** [[Call by future]] | ||
** [[Evaluation strategy#Optimistic evaluation|Optimistic evaluation]] | ** [[Evaluation strategy#Optimistic evaluation|Optimistic evaluation]] |
Revision as of 15:55, 7 September 2014
Evaluation strategies |
---|
|

Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |