- Concepts of Programming Languages

Strict and Nonstrict Evaluation

Instructor:

Learning Objectives

How much of an expression should be evaluated when computing a result?

• Perform expression evaluation
• Perform function calls and function argument evaluation

Strict and Nonstrict Operators

• A strict construct evaluates all of its operands before it runs
• Name some strict constructs
  • Arithmetic operators: +, -, *, /, ...
  • Comparison operators: <, <=, ==, !=, ...
  • Bitwise operators: |, &, ~, ^
  • Function calls: f(x,y)

Strict and Nonstrict Operators

• A strict construct evaluates all of its operands before it runs
• Name some non-strict constructs
  • e1 && e2 is strict in e1, but not e2
  • e1 || e2 is strict in e1, but not e2
  • if e1 then e2 else e3 is strict in e1, but not e2 or e3

Conditional Expression

Conditional expression if e1 then e2 else e3

• Evaluate e1; if true then evaluate e2, else evaluate e3

for i <- 0 to 10 do
  val z = (if scala.util.Random.nextInt % 2 == 0 
           then f() 
           else g())
  println(s"z=$z")

• Sometimes f() is invoked, sometimes g()

Conditionals in C

• Conditional statement: executes return 1 or return n*..., never both

int fact (int n) {
  if (n <= 1) {
    return 1;
  } else {
    return n * fact (n - 1);
  }
}

int fact (int n) {
  return (n <= 1) ? 1 : n * fact (n - 1);
}

What Happens?

• Function calls are strict

def fcond(b: Boolean, t: Int, f: Int) : Int = 
  if b then t else f
for i <- 1 to 10 do
  val z = fcond(scala.util.Random.nextInt % 2 == 0,
                f(),
                g())
  println(s"z=$z")

• Now both f() and g() are invoked

What Happens?

• Thunks: pass-by-name for explicit nonstrict evaluation of function arguments

def fcond(b: Boolean, t: => Int, f: => Int) : Int = 
  if b then t else f
for i <- 1 to 10 do
  val z = fcond(scala.util.Random.nextInt % 2 == 0,
                f(),
                g())
  println(s"z=$z")

• Thunks are parameterless functions

Summary