Difference between revisions of "Template:Evaluation strategy"

From blackwiki
Jump to navigation Jump to search
imported>Arachnelis
m (sub-category)
(links)
Line 4: Line 4:
 
| contentstyle = text-align: left
 
| contentstyle = text-align: left
 
| content1    =  
 
| content1    =  
* [[Strict evaluation]]
+
* 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 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#Full_.CE.B2-reduction|Full-reduction]]
+
** [[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