Difference between revisions of "Template:Evaluation strategy"
Jump to navigation
Jump to search
Template documentation
imported>Nbarth (Call by address too: sufficiently distinct and easily confused with call by reference) |
imported>Nbarth (links) |
||
| Line 12: | Line 12: | ||
** [[Call by copy-restore]] | ** [[Call by copy-restore]] | ||
* [[Non-strict evaluation]] | * [[Non-strict evaluation]] | ||
| − | ** [[ | + | ** [[Evaluation strategy#Normal order|Normal order]] |
** [[Call by name]] | ** [[Call by name]] | ||
| − | ** Call by need, [[Lazy evaluation]] | + | ** [[Call by need]], [[Lazy evaluation]] |
** [[Call by macro expansion]] | ** [[Call by macro expansion]] | ||
| − | * [[Nondeterministic strategies]] | + | * [[Evaluation strategy#Nondeterministic strategies|Nondeterministic strategies]] |
| − | ** [[Full-reduction]] | + | ** [[Evaluation strategy#Full_.CE.B2-reduction|Full-reduction]] |
** [[Call by future]] | ** [[Call by future]] | ||
| − | ** [[Optimistic evaluation]] | + | ** [[Evaluation strategy#Optimistic evaluation|Optimistic evaluation]] |
* Other | * Other | ||
** [[Partial evaluation]] | ** [[Partial evaluation]] | ||
Revision as of 03:02, 27 April 2014
| Evaluation strategies |
|---|
| Editors can experiment in this template's sandbox (create | mirror) and testcases (create) pages. Subpages of this template. |