Evaluation strategy

In a <a href="/facts/Programming_language/cWTYbgWa">programming language</a>, an evaluation strategy is a set of rules for evaluating expressions. The term is often used to refer to the more specific notion of a parameter-passing strategy that defines the kind of value that is passed to the function for each parameter (the binding strategy) and whether to evaluate the <a href="/facts/Parameter_(computer_science)/LcuLbbSq">parameters</a> of a function call, and if so in what order (the evaluation order). The notion of <a href="/facts/Reduction_strategy/RVXL4Y7z">reduction strategy</a> is distinct, although some authors conflate the two terms and the definition of each term is not widely agreed upon.
To illustrate, executing a function call f(a,b) may first evaluate the arguments a and b, store the results in <a href="/facts/Reference_(computer_science)/1vm2Bph1">references</a> or memory locations ref_a and ref_b, then evaluate the function's body with those references passed in. This gives the function the ability to look up the original argument values passed in through dereferencing the parameters (some languages use specific operators to perform this), to modify them via <a href="/facts/Assignment_(computer_science)/kLevAoyJ">assignment</a> as if they were local variables, and to return values via the references. This is the call-by-reference evaluation strategy.
Evaluation strategy is part of the semantics of the programming language definition. Some languages, such as <a href="/facts/PureScript/QMoWGw4y">PureScript</a>, have variants with different evaluation strategies. Some <a href="/facts/Declarative_language/gogtdzcJ">declarative languages</a>, such as <a href="/facts/Datalog/67jbYWDb">Datalog</a>, support multiple evaluation strategies. Some languages define a <a href="/facts/Calling_convention/FtzN2BKj">calling convention</a>.

Evaluation strategy open-in-new

Evaluation strategy