Difference between revisions of "Template:Evaluation strategy"
Jump to navigation
Jump to search
imported>Ruud Koot |
imported>Ruud Koot (rewrite) |
||
| Line 1: | Line 1: | ||
| − | {| class= | + | {| class=infobox |
| − | |- | + | |- |
| − | ! [[ | + | ! [[Evaluation strategy|Evaluation strategies]] |
| − | |- | + | |- |
| | | | ||
| − | [[ | + | * [[Strict evaluation]] |
| − | [[ | + | ** [[Applicative order]] |
| − | [[Lazy evaluation | + | ** [[Call by value]] |
| − | [[Partial evaluation | + | ** [[Call by reference]] |
| − | [[Remote evaluation | + | ** [[Call by sharing]] |
| − | [[Short-circuit evaluation | + | ** [[Call by copy-restore]] |
| + | * [[Non-strict evaluation]] | ||
| + | ** [[Normal order]] | ||
| + | ** [[Call by name]] | ||
| + | ** [[Call by need]]/Lazy evaluation | ||
| + | ** [[Call by macro expansion]] | ||
| + | * [[Nondeterministic strategies]] | ||
| + | ** [[Full β-reduction]] | ||
| + | ** [[Call by future]] | ||
| + | ** [[Optimistic evaluation]] | ||
| + | * Other | ||
| + | ** [[Partial evaluation]] | ||
| + | ** [[Remote evaluation]] | ||
| + | ** [[Short-circuit evaluation]] | ||
|}<noinclude> | |}<noinclude> | ||
[[Category:Exclude in print]] | [[Category:Exclude in print]] | ||
</noinclude> | </noinclude> | ||